fix(frontends/lean): tactic + variables bug, fixes #315
fix(frontends/lean): fix pretty-printing spacing problem
fix(frontends/lean): fix pretty-printing spacing problem