Global variables are now treated differently. They can assume all types at once.