First steps of core.typed integration.