Editor: actually look up type of token.