Construction types implemented in Chudvy