Move PseudoC operators into separate theory.