A swords-and-sorcery programming environment for building and counting mathematical structures