renaming: ISpec -> SpecUtil, Def -> SpecCore