Extract type definitions that might be used across modules

We have some types like Casing that can be reused be multiple module functions. Also we might want to extract a Range or an interface that defines a length or range that can then be used by all functions that have a length or min-max signature.

Decision to discuss: We might want to change all length-only signatures to also accept a min-max option.