Revised parser: added parser for terms, which are a syntactic construct which is meant to represent things like types (e.g. Int, Bool).