Changed mind about string type

Also started rewriting Eval and TypeCheck functions