Construction types implemented in Topyla