Add TestTypeUnderlying and TestTypeIdentical.
Finish implementing Type.Identical.
Add Check methods to Expression nodes.

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