Construction types implemented in Divochky