Change types in SPMD to switch to heterogenous rather than homogenous backends

[rrnewton]

This means using more existential types, e.g. SomeSimpleBackend.

This gets tricky in combination with type functions like SimpleRemote b.