Modify the kind, is just a list of Atom-Type as suggested by Roven, the checks will be performed at another step.