Add mapping from IR to physical line numbers

See #21.