The LambdaBox AST has a constructor [for *primitives*](https://github.com/MetaRocq/metarocq/blob/90ec40046cf27f2c6476dafb241dc5d2a30808a1/erasure/theories/EAst.v#L43). Those [include int64, float, strings, and arrays](https://github.com/MetaRocq/metarocq/blob/a789bdbd9fb1ba8010f1158708a0aa61fec7f8aa/erasure/theories/EPrimitive.v#L38). This means adding basic support for Strings may not be *that* difficult.