Should be enough to (1) talk to the Java API and (2) provide
a JSON API for the world.

This is really just experimental. MMT should be integrated directly
w/o JSON if possible to avoid nonsensical serialization.