Split names into agda/core domain