Test colinearity in Taxicab guard (Fixes #1.)
Remove redunant proposition in Quickcheck properties - equality, unlike implication, is commutative.