positions in Terms
update makefile
Term matching
added new module drafts:
Ast, the exact representation of what is parser;
Index, a term index (right now just top-symbol mapping);
Prolog, the future Horn clause deductive engine;
Rewriting, that normalizes terms;
some basic test/example files
updated lexer/parser with the new grammer (ML-like)
refactored a bit Env