Construction types implemented in Divychky