Patrys on Nostr: Surely, a formally-defined strictly-typed prompting language should suffice?Surely, a formally-defined strictly-typed prompting language should suffice?