Simplify an example in Coercions and fix a typo - #302

Simplify an example in Coercions and fix a typo#302

nalepae wants to merge 2 commits into

leanprover:masterleanprover/fp-lean:masterfrom

nalepae:masternalepae/fp-lean:masterCopy head branch name to clipboard