Using various parts of the original compiler as a asynchronous, interruptible, focused service for use in IDE. This fixes the problems usually occurring when p

Using various parts of the original compiler as a asynchronous, interruptible, focused service for use in IDE. This fixes the problems usually occurring when people have to re-implement type checkers/compilers, see for example the problems when Eclipse's Java stuff disagrees with javac or ecj creates different bytecode and breaks assumptions of other tools.