pair programming on symbol table population

also start type check