Rename active to target
Fix some comments in the Server type
Add sections to Server.Type
More Server.Type doc updates
Add another section about the algebra
Add a state0 function
Make aTests into a sugar function
Fix the state0 function
Add functions for normalising states and patches
Remove the blacklist type
Rewrite the web interface using the new Query and Algebra modules