added experimental ThreadFence to Program.hs and WarpSize to Exp.hs