Compile CAFs to WeakReferences

[rahulmutt]

It can happen that CAFs that correspond to giant lists that are used inside a function can cause a massive memory leaks due to the fact that they are bound to static fields. Instead, CAFs should compile down to WeakReference's and the initialization code should be changed accordingly.

See typelead/eta-hackage#60 for an example.