Minor spelling corrections in documentation.
Added example using subtype unifier type class.
Merge pull request #25 from travisbrown/master

Spelling and a new example