I think I realized what attracts me so much in Modal. It seems to exist precisely at the intersection between Orca and and something like an OISC. It's both a string system that has no hidden state whatsoever, and a runtime with a single operation, Replace.