Split Token ADT out to its own module.
Explicitly export only some of Token