Construction types implemented in Budy