add pretty-printing functions
add tests for implicit locations