feat(frontends/lean): display type of binders, closes #238
feat(frontends/lean): display type of binders, closes #238