>>>>> "Doug" == Doug Evans <dje@google.com> writes: Doug> It seems an oversight to not export the type attribute of symbols, Doug> and I have a need of it. Doug> Ok to check in? Looks good to me; thanks for doing this. Tom