I mostly agree with you, but I'd say adding typing to low level core APIs is helpful in adding optimization opportunities.