Construction types implemented in Talove