wrote down monadic abstract garbage collection and added a note about it in the varying flow sensitivities section.