Define tag encoding

Definition currently includes hilariously small bit width and global
table for interning namespace+symbol pairs.  Nothing to worry about.