Construction types implemented in Hopchytsia