Is there any up-to-date documentation to core.typed? The API is years-old, and there is no getting-started guide...