Ensure that require checks pass under type wrappers

This ensures Flattened/Sensitive Monoid fields are correctly defaulted to
mempty in constructors

In reference to #5
Regenerating with defaulted Monoid fields in constructors