Construction types implemented in Kruti