Construction types implemented in Yavkyne