core.typed: Extend types