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.