Construction types implemented in Maiaky