* remove constraint on the first argument of Cons: now all kind of expression can be used.