Added stubs for remaining rules of inference and partially implemented isUnaryOp.