Axiom: takes an expression, contains a Node that creates a tree to
represent that expression.

GUI: some slight changes, nothing worth noting.

Prover: checks if predicate's arguments, when defining them, are types,
not variables as they were previously.