Implement atomic-effects fork into mainline

Top