Removed bogus Coproduct refinement.
Use fundep materialization. Minor cleanups. Fixes #106. Fixes #108.