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