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