Add Expression.Type.
Add NilLiteral.
Add BoolLiteral.
Add IsRepresentable.
Add IsAssignable.
Add Expression.Check.
Check Literal and Identifier nodes.
Add constSpecView.Check.