Reorganisation and improvements for the "fast" decompiler.

Now tentatively called the "core" decompiler.