extrapolate-0.2.1: generalize counter-examples of test properties

Index - I

implicationTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
inequalTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
Instance 
1 (Data Constructor)Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
2 (Type/Class)Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
InstancesTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
instancesTest.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
instanceTypeTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
intTest.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
int1Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
int2Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
int3Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
int4Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
integerTest.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
isAssignmentTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
isAssignmentTestTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
isCanonInstanceOfTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
isConstantNamedTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
isEqTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
isEqETest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
isEqOrdTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
isEqOrdETest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
isEquationTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
isInstanceOfTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
isListableTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
isOrdTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
isOrdETest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
isSubTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic