Make lists of positive integers an "atomic" type

This is an experiment to test whether we can have integer lists
strings as an "atomic" type. Should we have list of valid unicode
characters instead?