top-leval variables and functions are parsed for type now