Add [Hint Mode]s to the reification typeclasses.

I though I'd make an effort into documenting those, instead of trying to figure out what does each typeclass do every time I look at them. @robbertkrebbers, can you take a look?