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