Start checking types, and more const testing.

Adds the most basic of checking for types, just what is necessary to
finish testing const specs. Fixed a few bugs while at it:
- Call check recursively on the new nodes returned from Identifier.Check.
- Error in const spec if types are *not* assignable, not if they *are* assignable.
- If const spec is typed, set the type of it's assigned value.