Deepmeasure

Helper functions to enable deepmeasures, 

Basic contribution:
Language.Fixpoint.Sort.pruneUnsortedReft that prunes unsorted predicates