pp: typo in comment
pp: also print bounds in paths with no generic params