Added the remove(premise) function.

Note: Any connectors attached to a premise will remain after its
deletion. This should be addressed in a different user story.