Lots of bug fixes and improvements

Bug Fixes:
* Replace use of dirty memory with clean falses() calls

Improvements:
* Allow hashing anything, not just strings
* Use immutable types for BloomFilter
* Exploit new rules for binding loop variables inside loops