Finished works on the evaluator, introduced Form type-class, added .gitignore.