Added lanterna.
Added the interpreter module.
Added the interpreter module.
Pulled the interpreter into its own module and made other modules dependant on that.
Removed the type variable over source clauses in the resolution interpreter, as it will always be Clause. Added user system directive to the parser.
Started implementing interactive mode interpreter.
Started implementing interactive mode interpreter.
Javadoc.