after meeting, gonna user a Coquet-inspired approach for the base-level Circuit type, then add easier usability
old, lava-like version of the basic circuit datatype moved into "limbo"