Remove (^+) operator.
Port to NumType 0.4.