Mostly finished re-doing data migration functors.
Mostly finished re-doing data migration functors.

It takes (estimated) 2 hours to compile.  :-(  This needs to be fixed.  Probably
by [abstract]ing away proofs earlier in definitions.

Also, I need to figure out the universe inconsistency problems with (un)currying
so that I can get the versions of the functors that I want.

CategoricalData/catdb,JasonGross/catdb,JasonGross/catdb,CategoricalData/catdb