Typecheck 666.


Simpl (666 + 12321).

Typecheck (666 + 12321).