cerberus

Make Byte casts have no UB

Make bytes casts pure memops instead

Implement Byte cast memory operations

Support casting integers to/from bytes for elab

Adjust tests to typecheck and execute