feat(library/coercion): add simple trick for defining coercions to function-class in a convenient way, closes #31
feat(frontends/lean/elaborator): use whnf in class-instance resolution, closes #160