2.0rc1

This is a major rewrite meant to improve performance and facilitate static type checking. The breaking changes are described in the migration guide. If you want even more details, see the pull request.