Yes, you are needed, it's not overkill when 2 people work on the most wanted feature for Nim. :)
1. Agreed, I like this better too. 2. Dunno, will tell you when I review your code. 3. Agreed and `default(T)` at least is useful on its own. 4. Dunno. Btw neither yours nor Zahary's work includes a prepass over the concept body that I suggested, correct me if I'm wrong.