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