Decrement in_func for inlineable functions.
Add type annotation version of reduce function.
Implement the 'ann' form, allowing type annotations for existing function definitions.