I think I answered this already, but we're not sure yet of what we want to return.
What I know for sure is that the parser should return a Term, no matter what kind.