Bumped version to 0.13.1.
Added empty product tests.
Improved logic for handling Generic[Unit].

+ Eliminated some duplicated code in Generic.materializeXXX.
+ Added TypeClass tests for Unit and tuples.