Ported RMHMC (there is a bug somewhere - to be fixed)