Some more instances defined.
Language extensions added.
Example with newtype example.