Provides decorators for type checking arguments and return values.