extrapolate-0.4.6: generalize counter-examples of test properties

Index - =

==:Test.Extrapolate.TypeBinding, Test.Extrapolate
==>Test.Extrapolate.Core, Test.Extrapolate