package travesty

Elements must have equality. While this is an extra restriction on top of the Core equivalent, it is required by Make_container0, and helps us define chaining operations.