Propegate type info for variables