Concrete Atoms specify their empty type