Type Hints and Runtime Validation