Add Type.Underlying and Type.Identical.

Also renamed Expression fields called Type, to make way for the Expression.Type() method.
Add Expression.Type.
Add Check methods to Expression nodes.

Currently they are all unimplemented.
Check Literal and Identifier nodes.
Add constSpecView.Check.