remove 'advertise' function
actually call finalizer
add helper to lookup a parameter
add env passing between phases
remove long term todos
add helpers for modifying variable env
parametrize execution monad