Generate Getters and Folds with makeLenses

This allows fields using universal quantification
to generate accessors.

Fixes #274