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