rename UnknownN to SomeN
define Typeable instances
fix copyright notice