begin twiddling with checkSortedReftFull
adding sort checking
get Sort.hs to compile ... and run
err, should have branched a LONG time ago
much progress
Merge pull request #3 from ucsd-progsys/sortcheck

Sortcheck: Code for Checking Refinement Well-formedness