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.