split into seperate pacakges

[DetachHead]

• there's a bunch of wacky nonsense types in here just because i was seeing how far i could push the compiler, rather than for any actual practical reason - these should be in their own packages so it doesn't clutter up the main one, which is only meant to be generic useful helpers
  • the date format types/function
  • the bit shifting stuff (maybe also the arithmetic types, but they're still useful when creating some more practical types tho so maybe they can stay)
• the exactly function could probably also be its own library called type-testing or something