Remove Trampoline
Fix imports and use 'free_monad!'