compile/select-on-write-target-builtin

Generated from the language definition for language 1.0.

Summary: a write effect targets a read-only built-in

Fix: target an entity; built-ins are read-only