Fix typos in documentation
Removes TODOs that are no longer relevant

- we don't want to do mutable updates because of complexity and JMM issues

- we don't want to add more subtypes of HashSet/HashMap to prevent
megamorphic call sites

- checking for monomorphic call site is not worth it for one virtual method
invocation