vars now have a type