Major improvements: pseudo-variable types added, scanner.l modified to update yylval.symbol, AST being currently implemented.