Prefix record fields

As I was working on #44, I realized it made more sense to tackle record fields first. They have all of the same problems as options but don't require default instances. Overall, I like these changes because they allow everything to be exported. After you do `import Strive` you can do `athleteDetailedId athleteDetailed` without having to worry about qualified imports. That being said, there is definitely room for improvement. For starters, I could use template Haskell to avoid repeating myself. And if I'm going to do that I might as well just implement these using lenses.