Galois Transformers and Modular Abstract Interpreters