Useful but limited polymorphism

README.md

@@ -62,19 +62,14 @@ tricu eval --format decode program.tri
 tricu eval --output result.txt program.tri
 ```
 
-Annotated programs run normally under `eval`; annotations are metadata, not
+Unchecked eval parses annotation syntax, discards contract metadata, skips
-runtime types. If you want evaluation to ignore View Contracts completely while
+producer-side View Contract checks during workspace module auto-builds, and does
-loading workspace modules, use unchecked mode:
+not publish unchecked View refs. 
 
 ```sh
 tricu eval --unchecked program.tri
 ```
 
-Unchecked eval parses annotation syntax, discards contract metadata, skips
-producer-side View Contract checks during workspace module auto-builds, and does
-not publish unchecked View refs. Executable module exports may still be cached in
-the content store.
-
 Check View Contract annotations explicitly:
 
 ```sh