refactor: typing module re-organization

[caniko]

Type safe types are no longer called strict, but type_safe; typing namespace free of type files, but submodules, and the type files are now in the loading submodule.

@futurwasfree I couldn't add NpNDArray, how did you exclude it from the strict gen? We need to remove this part of the logic

[futurewasfree]

@caniko
Toggle check here:

def _list_all_types(dimensions: int, strict: bool) -> list[str]:
    return [
        _type_name_with_prefix(dimensions, type_name, strict)
        for type_name in _DATA_TYPES
        if not (type_name == "" and not strict)
    ]

(see type_name == "" and not strict part, used to be and strict before)

[futurewasfree]

also this might break some user code due to typename (and namespace) changes, e.g. if you import from strict folder.
deserves major version bump? or maybe you could maintain previous naming convention with "Strict" ?

[caniko]

I hadn't bumped the version yet, and it is a breaking change