Veryfied the tests, cleaned up. TODO: concurrency, error checks and convienience shortcuts.
compiles ok, but segfaults
The former implementation was more closely based on Loki's Acyclic Visitor. Swapped in the working new concept and adapted the policies and tests. Doesn't compile yet
