Construction types implemented in Kroty