Expr generates IR!! (closes #61, closes #71)