Add Gosub constructor and tail recursive `go`
Add Control.Monad.Trampoline
Updating module documentation
Merge branch 'puffnfresh-trampoline'