Construction types implemented in Dobra