Construction types implemented in Diuksyn