Machine integers and range types
Now that range types are available, we should investigate moving away types such as int31 from abstract types. We should also see whether it helps expressing for loops on machine integers (hopefully yes).
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information