Construction types implemented in Horpyn