"y" "x" const "bool" typeOp nil opType constTerm defineConst