More fixes due to name changes.
Documentation Update.
New issues added.
Resource path removed -- this just seems to break the resource paths.
More name change fixes.
Remove axiom now takes a list.
This is consistent with changes to all the add-* functions which return lists.