Convert more expressions to IR, and implement converting IR to SSA form.