Add generate-module-list.sh tool.
Remove nasty hack in shape annotations.

If we want this fixed, we do it properly.  It's pointless to introduce
wrong code simply to make some optimisation work.  If we cannot fix
this, then the optimisation is just plain broken.

(We can fix this; it's not too hard I think.)
Remove fibCos.