wrote the Comparison parser, added several type signatures and expanded the comment section to include Comparison, Var, and Predicate.