Jireh Loreaux

Thanks @MichaelStollBayreuth I'll let someone else decide. But I'm okay with this. The other option would be to have these general versions, and then more specific ones which are `abbrev`s...

no need to include me in the copyright.

It looks like there were a bunch of comments that never got addressed (probably because they were hidden in the fold). Can you address and resolve them please?

Looks so much nicer that it's phrased in terms of subalgebras now. Thanks! I appreciate the work on the `Subalgebra` API to get it across the line. The `AlgHomClass` usage...