Thanks! If you can point me to a good structure I'd like to try coding it up in this system, category theory has mostly gone over my head so I'm not sure what y

Thanks! If you can point me to a good structure I'd like to try coding it up in this system, category theory has mostly gone over my head so I'm not sure what you're thinking of. If it's large I might finally have to start optimizing :)