Pretty-printed error about unionDisjoint
Update module to expose CanSubst, reduce API size, allow subst on scope
Reduce test duplication. Add test of fix of zipWith
Add .ghci for emacs haskell interactive compatibility