* the new type checker and evaluator compile! I have do make tests now…