minimal effort to reintroduce the missing nu rules and identify them
as admissible - more probably needs to be done
Merge branch 'master' of github.com:jgbm/cpgv
another way of presenting the rules in Figure 7
blank redundant corec argument in preparation for repurposing
judgements in the translation to \mucp