Construction types implemented in Deliieve