Initialized gradual_typing from algorithm_w.
Implemented type inference for gradual typing.
Fixes for gradual type inference.