refactor making more effective use of separating and non-separating conjunction.
Merge branch 'master' of github.com:slindley/dependent-haskell
tidy up separating conjunction and existentials stuff