Remove roles from the flattener
Richard and I have determined that the ambient role in the flattener is unnecessary. Remove it!
- The
fe_eq_rel
field inFlattenMode
- The roles in
Corecion.simplifyArgsWorker
- Many consequential places
Richard and I have determined that the ambient role in the flattener is unnecessary. Remove it!
fe_eq_rel
field in FlattenMode
Corecion.simplifyArgsWorker