Didn't see this at the time, but the paper "Type-Safe Blazon: Enforcing Pedantry in Heraldic Design" from FARM 25 is right in my wheelhouse

https://dl.acm.org/doi/10.1145/3759162.3759641

#heraldry #typetheory