Rewrite the specification and server.js, test.js and frozen for now