tried to fix a bug but it does not help
improved support for conditional non-terminals in type handling. should fix a number of issues in the type checker concerning abstract patterns on concrete trees