Mon Dec 14 14:37:41 GMT 2009 Ganesh Sittampalam <ganesh@earth.li>
* fill out witnesses.hs
This just adds all modules to the list imported by witnesses.hs either
directly or indirectly, with some imports commented out since the modules
don't work with witnesses yet.
The idea is to make it easier to see what hasn't had witnesses added yet.