Better wording

content/post/constant-bikeshedding.mmark

@@ -256,9 +256,10 @@ in declarations[^12]:
 
 Here Bjarne personally prefers to put style over grammar, and indeed, one often
 repeated quote is that "C++ enforces types", but is this "heavy enforcement"
-for real or just utopia? The thing is that this "type enforcement" manifests
-in the realm of style solely, not language grammar. I once found a person that
-intended to "enforce types" even when it was an obvious failed attempt:
+for real or just utopia? The thing is that this "type enforcement" manifests in
+the realm of type semantics (the abstract) and style (the convention), but not
+in the language's grammar (the practice). I once found a person that intended
+to "enforce types" even when it was an obvious failed attempt:
 
 ```cpp
 void (* foo)();