Add reply code map
Add convenient throwP and throwE primitivies
Add disconnecServ
Resolve name conflicts
Put proxy conponents in Proxy.hs