usability stuff

[brianbondlink]

• Re-add typeclass derivation and integrate with refined
• Define a trait to extend that abstract def for p2e and proxies to validate and optional
• Syntax sugar for HList def, so I can do ('foo ->> bar) + ('baz ->> quux) and ideally skip shapeless imports (record will be tricky but maybe wrapper type will work)

[brianbondlink]

Refined integration could use a typeclass that knows how to extract a ValidationNel from the lifted type, VNel could contain underlying primitve removing need for untagging. Generic approach makes room for sugar around creating custom types, gets back to original impl with less boilerplate.