Add syntax validation for incomplete AST.

[abargnesi]

Depends on #3 and #4.

This work would include a generic SyntaxFunction (i.e. for all language specifications) that would report where the AST is incomplete. This message is user-facing.