Simplified collect_bindings
Simplified Haskell's collectBindings
Updated doc generation