Enable the use of type inference for reduction.

- Remove dtype state from reduction.
- Introduce preamble_generators.
- Introduce function_manglers, to replace result_dtype_getters
- Introduce defines.