fixed free variables including type names