Construction types implemented in Parneve