Broad Generalization through Domain Transfer: Abstractions and Algorithms