Initial commit

Working terms (without grouping).
Add proper grouping of terms and prop log
Add cleaned up full propositional logic
Add term expressions as atomic formulas
Add full (untested) FOL
Add modal operators
Add support for unicode connectives
Add naive writers for LaTeX and HTML
Add simple command line tool and pkg structure