Construction types implemented in Bashmachka