Working compilation of simple-if

real test will be compling the closure example, though