Construction types implemented in Novostav