Add native Trampoline support for unbounded recursion
Basic docs for trampolines