change Server's interface, code clean-up in Declaration.js.
Fixes #11