Merge pull request #42 from velour/types

Add Type.Underlying and Type.Identical.
Add Expression.Check and Expression.Type.

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