Allow traits to be transparently or "invisibly" mixed in

Yes. I thought that would be fine, though. Working with Any is not safe anyways.