Added Set#& and Set#| with naive implementations
Fixed some more super cases
Added Hash#merge
Boostrap: type inference and codegen instance vars