fix(frontends/lean): missing type information for INFO, fixes #218
fix(frontends/lean): missing type information for INFO, fixes #218