Initial presentable engine

Implements natural deduction's rules for elimination and introduction of quantifiers

Parses +, -, =, *, /, and, or, functions/predicates, quantifiers, ->, ~.

Uses brief configuration scripts to set up problems

Renders math with KaTeX