Simplify some composite types and fix their I/O operators (hopefully).
Write basic arc intervals to the files E^0(\sigma, L).
Fix bound.