Lazy SmallCheck with functional values and existentials!