Changes some notation (for-comphrensions, Function.const, etc)