feat(frontends/lean): insert `!` in calculational proofs when needed

This is part of #268
feat(frontends/lean): insert `!` in calculational proofs when needed