Construction types implemented in Torchytsia