Add conversion from Expr to Term