vector type inference should now work

size inference still likely not working.