we want un_cons() to fail when called on an Atom Expr