Rewrite type definition and 'Arbitrary' instance for 'InvalidLinearConstraint' using vectors.