Fixes to ordering and union over ALPs.