Useful but limited polymorphism

README.md

@@ -62,14 +62,19 @@ tricu eval --format decode program.tri
 tricu eval --output result.txt 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. 
+Annotated programs run normally under `eval`; annotations are metadata, not
+runtime types. If you want evaluation to ignore View Contracts completely while
+loading workspace modules, use unchecked mode:
 
 ```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