Reason: Matching and Mashing Your Loops