Implement unexpanded and detokenize.