I like the idea of arbitrary-width integer types, but they can lead to unintended consequences, some of which were covered in this post the last time we talked about (quasi) arbitrary width integers. Would this proposal include some method of resolving those issues as well?