Construction types implemented in Topaly