Simplify the Program transformation

This patch gets rid of the intermediate monad stack transformer, that
was actually useless.