remove split0 from 1.T because the witness also gives us the relevant type
1.T down to last couple...
1.T down to last couple...
split.1.T done except for mutual-rec and the function that DOESNT TERMINATE
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell