implemented compiler for if forms