various edits around pyret code conversion for units 4 through 7