extended the FOL symbols
added the path axiom builder, other minor improvements