Couple more easy cases in completeness proof.
Revise PEG to make handling of patterns easier.
Completeness progressing slowly.
translator puts primes on tyvars and avoids function names like ref, o, + etc.
Merge remote-tracking branch 'origin/master' into tup+eq
Missing eq_list case