Proof not supported - Nemo Proofs

Currently, proofs of subsumptions of the form ```A ≡ ⊥``` are not supported. Additionally, we need to extend the types of supported conclusions to include those with complex concepts on either side of a subsumption.