Finished compiler for Exp (minus sampling, I'll do that later...)