Construction types implemented in Topoli