Improve query verification during parsing

[comnik]

Some aspects of a query can be checked locally during parse-time, e.g. that constants are of the correct type, attributes and rules exist, rule and query names don't clash with existing ones, and so on...