refactor: major refactor of byte_type

[MierenManz]

Some mega changes have been made.

1. Types are now based off any of the following three two types Sized or Unsized. They inherit eachother, so Sized types are also Unsized. Meaning that they will help with type strictness.
2. All types now can be readPacked, writePacked, read and write
   3. Compound types like structs, arrays, tuples and unions can also be written or read as packed meaning it reads the least amount of bytes necessary (not relevant anymore)
3. A new compound type has been added called TaggedUnion
4. Structs have been simplified into 1 class. It implements both Aligned and Packed meaning it can be read and written in all the ways possible (not relevant anymore)

TODO's for later pr's:

1. Deno.Pointer
2. Range checks Done
3. Tests
4. Benchmark harness
5. Sub byte ints (u2 / u4)
6. Bring back Viewable types.
7. Add Sized compound types for Viewable structs etc (lazy reading / writing)
8. 128 bit types

[MierenManz]

The last few commits also added type checking on the tagged union discriminant. If you have string keys you need to specify a codec. If it's integers you may specify what type of integer (bigint / 64 bit ints are not supported). Also floats can break the typecheck but I wouldn't know how to fix that. (also doesn't make sense to use floats as discriminant)

[lino-levan]

LGTM. One nit.

[load1n9]

LGTM

[eliassjogreen]

I can still see lot's of improvements and changes but for now this looks great! Thank you!

[MierenManz]

I can still see lot's of improvements and changes but for now this looks great! Thank you!

We can discuss those on discord soon ish maybe? I have some more changes that I want to make to taggedunion for example