Proof that Myreen Correctness is at least as strong, and fixed some minor notational mistakes