I agree only on the generics thing. The package management is out-of-scope for me. However rudiments of genericity should be there. I do not aim for the full thing.