added post about core.typed