Construction types implemented in Mystychi