Mutual Recursion

Implementing termination check for mutual recursion.

Xi's example for quicksort can be checked see `tests/pos/RecQSort.hs`

Some mutual recursive functions from `text` and `bytestring` need to be proven before merging,