Normalizing domain terms (values and types)