add check to makeRecType
adding basic mutual recursion: nothing breaks
xi's recursive quicksort
update QSort
tmp commit
seems to work
update log
create function from Map proved to terminate
GHC qsost terminating
indecesOne proved to terminate
fix broken tests
Merge branch 'master' into mutualRec

Conflicts:
	Language/Haskell/Liquid/Misc.hs
Merge pull request #124 from ucsd-progsys/mutualRec

Mutual Recursion