Construction types implemented in Zarichne