make contracts slightly more readable for
the get-location arguments to make-input-port
and make-output-port