Additional unit tests.
Initialized first_class_polymorphism from algorithm_w.
Implemented AST, printing, parser and unification for first_class_polymorphism.