Use release version of core.typed