declare Operator in connective_operator_module.xsd to allow reified operators in Reify