A catlab-compatible implementation of Schema.
Schema
Used for apps like category of elements display, where we have to accept an arbitrary acset from Catlab.