Fix nasty bug in the type free-var finder, at last