Construction types implemented in Derniv