resolv() now knows about scopes. resolv() now handles the version and predef scopes. Encode()->nameof() now knows how to generate versioned symbols. Rev: lib/master.pike.in:1.412