Implement basic type-value system to inline variable function calls:

Given an annotation: (ann foo (^#add f))
Any calls of foo with #add as the argument will have calls to  replaced with inlined code from #add.