I'm wondering why it isn't common for type systems to allow attributes representing properties of objects, and to allow variables to specify attributes in addition to regular types, and thus demand ...

Google Business Profile (GBP) attributes are a uniform way for businesses to share what they offer and what a customer can expect when using that business. They are also a way for a business to ...