Also make type-operators (state, list, num) appear in textsf