started a higher-level interface with literals, clauses, and formulas