Package containing the basic logic of Discopyro, including types, callable boxes, and free categories.
Contents: