Construction types implemented in Levadne