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