Follow-up from "SCORU: Wasm: Strongly typed Proto/Environment bridge"

Some algebraic data types and records exposed in the Protocol environment rely on boilerplate to conver between the Protocol and Shell representation.

Ideally this code should be abstracted away/generated.

An example is the code added to Environment V6 in !5563 (merged).