mostly finish soundness for SKI+Y
mostly finish soundness for SKI+Y

Ignore-this: 4c75fd9eeefa1d6dad6866662abea0fd

darcs-hash:20140202060633-f399b-5d114e6ae1d2c432b3eff501157f8191b55d20de

robdockins/domains