varname propogation is *way* simpler now