Make sure enumerated types are only emitted once.

Make sure enumerated types are only emitted once, even when there is more
then one variable declared with the type.  Also fix the generators so they
actually ensure this.

Also, CVC3Generator got some cleanup around the relevant code.