Updated to latest core.typed version