Join all backend traits into Backend trait with asociated types

[sagudev]

I think we could also remove some dyn stuff but that's for later.