GroundKernel refactoring. SetDefinitionKernel moved to extend AbstractKernel.