fix(frontends/lean): intro tactic + universe variables, fixes #362
fix(frontends/lean): intro tactic + universe variables, fixes #362