now that we use native Pyret locations, we can dispense with all the location.toPyret() calls