Cache uniqueness information in NameType

This'll help build destructive case trees
Mark 'case' on unique types as updatable