Values as byte vectors

[uncomputable]

trafficstars

It might be easier to represent values as byte vectors along with a Final type. Most values (that we interact with) are byte strings or slight variations thereof. We could destruct the value by using Final if needed. TMRs can be used to detect powers of two.