updated constructors of PrologTerm so they take an optional location
new parser/AST for a simple, curried
syntax to parse HOTerm
draft of new syntax for meta-prover theories
oasis setup