Implement ideas from BLEAK

[mpickering]

BLEAK is a tool to automatically find memory leaks in javascript applications. Similar ideas can be used for Haskell applications.

https://github.com/plasma-umass/BLeak/blob/master/paper.pdf