TESTING: minor
Merge branch 'devel' of github.com:DavePearce/Whiley into devel
Merge branch 'devel' of github.com:DavePearce/Whiley into devel
TESTING: added test case
WYRT: tweak for constraints on Byte.toUnsignedInt