More Logical Constraints

Use list's append in qsort!!! See [tests/pos/ConstraintsAppend.hs](https://github.com/ucsd-progsys/liquidhaskell/blob/4c2b9070ef220fb713bb5dfdaf0b9ddd73c2c9f0/tests/pos/ConstraintsAppend.hs)