Construction types implemented in Chystenke