[Pre-RFC] Implicit number type widening

Mainly yes, it will be an ergonomic win without any safety issues. Also it may prevent some errors, e.g. converting u64 to usize via as on 32-bit platforms will use truncation, while Index will be able to do proper checks. Same goes for indexing using signed types.