Systematic typing check ?

[casenave]

Can we return an error when a function is called while not respecting the declared typing. Using pydantic or beartype, but with minimal modification of the code ?
This will enable to remove all existing typing check in code and unit tests