Support exporting array-store-all expressions to other ExprManagers (fixes portfolio test failures).