Testsuite modifications, tracing

* Some trace code in Singletons
* experiments with TyCon in Types
* modification of ByHand code to use Apply
* some testsuite hacks in cabal file to solve fPIC problem

All of this is a work in progress.