Add Expression.Check and Expression.Type.

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