Initialized gradual_typing from algorithm_w.
Implemented type inference for gradual typing.
Fixes for gradual type inference.
Small fixes.
Removed Bound type vars; using Generic instead.
Added dynamic type duplication to fix issue with polymorphism.
Small refactoring.
Added README for gradual_typing.
Small README fixes.
Merge branch 'master' into dev