Use monad transformers. Flesh out transExp a bit more. Fixed linking.