Construction types implemented in Khyttsi