Operations on Preskeletons

• The program derives skeletons from other skeletons
• A correctness criterion is information is preserved, expressed formally via homomorphisms
• The operations are substitution, compression, order enrichment, regular augmentation, and listener augmentation