Make lists of positive integers an "atomic" type in the compiler

This is still an experiment to test whether we can have integer list
strings as an "atomic" type.