Updates:

1) Semantic changes in TypeValidator
2) Fixed a bug on SymbolTableBuilder