Notes on well_founded recursion

Stream: general

[Chris Hughes]

I just made a PR with some notes, talking about everything I have managed to work out about how to use well founded recursion. Let me know if I said anything wrong or misleading.