Modified R0 and R1 to apply their arguments to f in the order (f i u) or (f i u y) to match convention.
4083 vs 81 mystery investigated. seems to have to do with application of an R0 to and R1.
identified it
updated notes for results for this branch to depth 20+
improved provide
results for standard-order branch to depth 19
Merge branch 'standard-order-primrec' of https://github.com/mcoram/primrec into standard-order-primrec
Merge branch 'master' of https://github.com/mcoram/primrec into standard-order-primrec
fix for standard-order
some explanation added.