Update ExpressionTest.java

Added test cases. Removed the case of (p*q) because this should be in an incorrect expressions case (i.e. I like seeing the green bar).

Added tests for isApplicable (for theorems). Test the example theorems from the spec.