[smegcicle]

Like what ReleaseCandidat said--- types originated as a compile-time thing, and things like range checks mostly make sense as run-time assertions, so it seems kind of strange from a compiler standpoint to conflate them...

But, from the developer's standpoint, types are a very convenient place to put such run-time assertions. Raku has them.