Updating README to reflect completed type checking