Consider a set of symbols where all of the symbols in the set can be described in terms of other symbols in the set. There's a name for that in the world of sh

Consider a set of symbols where all of the symbols in the set can be described in terms of other symbols in the set. There's a name for that in the world of shape-grammar type things but I forget what it is. I think that any such "self describing" set would lend itself to being translated to other self describing sets. It might even be guaranteed. A neat transform. A software language could be like that. We could do a subset of math that is like that. It's eminently feasible to do a drawing system like that.