fix(doc/lean): typos
feat(frontends/lean): use coercions to function-class and sort-class in
function arguments, closes #203