feat(frontends/lean): add 'coercions' and 'instances' to 'print' command, closes #71