Added validation for some nodes.

There is enough validation to at least handle simplemain.pc and
declaration.pc. More complicated expressions can be built up on top
of the existing Literal validation.