Compiler improvements

Global optimizations currently rely upon association lists. Using red-black trees (with some arbitrary order on arbitrary objects) should make the compiler faster on large libraries and programs, and should generate better code when the current compiler has to give up on global optimization to keep compile times at all tolerable.