Add post about trying out core.typed