Construction types implemented in Polytsi