fix(frontends/lean): missing type info in expressions nested in tactics
fix(frontends/lean): missing type info in expressions nested in tactics