Add TestTypeUnderlying.
Add TestTypeIdentical.
Implement more of Type.Identical and its test.
Add Check methods to Expression nodes.

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