fix currentMR of reg and stack islands being compared to R/S relations; also more progress on mv lemmas