Consider bools unsigned for the purpose of binops.
Fix a bug where called function variables would never be substituted when doing SSA minimization.