Remove restrictions from borrowck

Now that features like `const` are gone, we can remove the concept of restrictions from borrowck and just track loans and their restricted paths.
I wonder how hard it would be to make these into proper iterators. It'd make the code so much nicer.