Missing cases for builtin Maybe descriptors in make_symbol_name
Function make_symbol_name in graph_copy_with_names needs some extra alternatives for the new descriptors for builtin Maybe types. I'm confused what these should look like. In _system.abc, _Just and _Justs both use the string ?Just. I think _Just should use ?^Just, so that they can be distinguished by make_symbol_name.
Also, make_symbol_name has an alternative for Cons?!, while [ !] in _system.abc is just Cons! (like [! ]).
Could you have a look at how this should be?