Remove outdated modules from cubical.cabal

[jonsterling]

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