Paths, occurrences, and error locations
Author: Frank Pfenning

This is used for error messages.