Construction types implemented in Didove