Started annotating with core.typed types