Closes #9. All microscope subclasses have extra axioms.
Test added to check this.
Additional Interactions were introduced.