Interpretation homomorphisms from CSLib

The homomorphism structure, identities, composition, and their laws are supplied by CSLib. The names here preserve the existing public imports.