Final work on the helpers.
Improvements to ArrayList and HashMap.
Type checker fixes.