Tests for isUnaryRule and isAmbiguousRule. Made a TODO to make Absorption ambiguous, because it actually is.