Numerous improvements.

- It's a map of string -> T val. Not a set.
- Insert is recursive for now. Fuck it.
Hey, I think it works now.