Simplification from both Pos and Neg using Nat1.
Clean up LANGUAGE pragmas.