Whitespace and licenseplate cleanup.
Added Typeable instances and tests for Coproduct.
Temporary workaround becomes permanent.
All Typeable instance implicits now have explict result types.
Whitespace.
Added TypeCase.