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