Make CoreState strict in its fields