Splitrhs

ensure only KVar or Conc constraints see #194 on ucsd-progsys/liquidhaskell