FilePosition -- the class of all file positions

FilePosition -- a type of list designed to represent a position in a file.

It's implemented as a list whose three elements are the file name, the line number, and the column number.