Dialyzer work

Dialyzer now runs successfully with the new code.
Proxy is also finished, but tests don't work yet