Document trampoline instruction
Created by: mn200
At meeting on 2 September 2014, we agreed that an LLVM-style trampoline primitive would probably be a good idea. Because
- the abstraction will allow generate of good machine code for varying architectures
- it may be necessary to turn
fnptr * environment
into a singlefnptr
for the sake of FFI calls