backing out: problem was the method dispatch
complete the auto-type-casting to server* types on server dolphin methods