Init, Symbol table and Type Check

Add symbol table and type check