Fix missing lift in VM and native compiler (second part of #2729).

Was occurring in the parameters of constructors when reifying a dependent
pattern matching return predicate. Note: this does not affect the kernel,
only the pretyper.
Fix test-suite for #2729.

Was always failing due to an incorrect use of Ltac's or.