Rename "core" to "specification"