fixed bug in mappend of RuleSet; cleanup pcf2trs
postpone beta-normalisation of program after labeling
cleanup usable rules
refined narrowedUsableRules
make compatible with hackage version of term-rewriting
Merge branch 'master' of https://github.com/mzini/hoca