[m-dev.] Diff to make non-gc grades work

[Tyson Richard DOWD]

> Hi
> 
> The following diff fixes some of the problems that prevented the non-gc
> grades of the compiler from working correctly.
> 
> The change to solutions backs out my earlier change to prevent the
> usual heap-reclamation on failure on the solutions heap. This means
> that solutions doesn't work for multi-threaded programs at the moment
> (which is a moot point since we don't generate multithreaded code yet).

This diff looks fine.

Tyson.