Construction types implemented in Mykhlia