Fix Type Inference

[fruffy]

Gauntlet should do proper type inference. Right now we have a customized solution, which easily breaks and adds unnecessary complexity. Type inference should be done as a preliminary pass in toZ3.