Softening the edges
I started working on the list of things to improve that has been decided with Philip Wadler today. I got rid of the easy things. I also tried to get the profiler to work: but for now there seems to be a mood incompatibility between the profiler and the lexer or parser: strange errors arise when using the profiler that do not exist otherwise.