Exhaustiveness check of tree symbol rules

[ppolesiuk]

Implement an exhaustiveness check of pattern-matching in tree symbol definitions. This check might be useful to implement a code generation phase: for exhaustive symbols there is no need to include the default clause that reports a desugar error.