more naive translation
more progress
Expose memory barriers at the Haskell level.
ChaseLev3: translate one of the main functions
Add the missing memory barriers to the original implementation.  The persisent bug is GONE.  (Wonder why those barriers weren't in the psuedocode..)