Start and use parameterized messages in validators

For now, only the basic AbstractSyntaxChecker uses it on invalid node types.