changing expr.un_cons() to return a Result