Program security - Updated type cosplay lesson (#411)

* Updated code snippets, fixed content, grammar and styling

* Added explaination of discriminator

* Update type-cosplay.md with corrected

* Update type-cosplay.md with links

* Updated content to simplify difference in discriminant and discriminator

* Removed smartquotes