I'd like to add some kind of computational support, and you're right that probability fits pretty naturally. Do you know of any other tools I can take hints from? Or any domains/disciplines that need this?