add derived Show instances for all types

closes #6 

Several language extensions were required to provide the instance for `Endomorphism`.  Is this a problem?