Construction types implemented in Peretik