Integers, bytes and vectors could be mapped to 6 general-purpose registers, and floats<sup>#3</sup> to 2 floating-point registers. Validation could be simpler, but would it be less helpful?
