Remove outdated modules from cubical.cabal

These modules seem to date to before the cubical evaluator was internalized; this change allows you to run `cabal install` again.