Introduce an YggState type