NEW: The Parser now works with Atoms.

The program can parse an Atom from a string and prove it with the interpreter.