Infer the types of dtype globals
Use functions to register type inferrers for module callables