first go at type inference for vectors

this symbol table is placeholder, forgot to commit the more up to date
one from home.