Defining a "set of byte" no longer requires casting each element to byte