Further updates to AlgEquiv