overload checkSorted

overloading checkSort to support ucsd-progsys/liquidhaskell#110