Construction types implemented in Drozdy