Construction types implemented in Dereviane