Somewhate broken state, but compiling
Added some kind of occurs check. compils again but still doesn't work
stash