Maybe we'll do autoboxing later (I doubt it, but who knows?), but that falls outside the scope of an MVP.

As for your other points, maybe join the IRC channel? Some of your points come down to different opinions about how to define and approach correctness and that's often very subjective.