Add .gitignore.
Reorganizing modules.
Cabalize.
Fix compilation errors.
Add semantics domain for pretty printing.
Add syntax and pretty printing for literals.
Add context for pretty printing.
Refactor and add functions for parens.
Syntax and pretty printing.
Add newline.
Add variant using DeBruijn indexes.
Distinguish free and bound variables.
Add free variable analysis.
Exclude modules in revision.
Add test infrastructure.
Add binary, dimensioned, and formula choices with pretty printing.