Removed the unused THIH type inference code.
Removed dead code from EvalFL.hs.