Prepared data structure of FC for spanning, and added the span of the
last token parsed to Idris