Runtime library for the domain world of Souther-generated bytecode: Result, Option, Behavior, Violation, Lists, Maps. Raoh-free — decode/encode target Raoh directly from generated code, not through this module (spec §codec-generation, §non-functional).