Most of the DSS now actually works but sometimes a variable binding can't
because the thread is suspended after a 'markNeeded' message is sent...

To be solved later.
wip