adding NewNewLexInput(), elaborating and corecting TODO