Construction types implemented in Karavelove