Construction types implemented in Doslidne