General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond (Logical Methods in Computer Science, 2022)