Construction types implemented in Osiv