I know that the other `TypeNormaliser` classes are inner classes, but could you please make this a top-level class. `OracleEnvironment` is large enough as it is...

Feel free to make the other `TypeNormalers` also top-level.