Relax the requirement of same `T` and `U` for all `Layer`s and `Interlayer`s that are meant to constitute a `Multilayer(Di)Graph`

We may achieve this by reimplementing the old mechanism that finds the least common abstract type for `T` and `U` separatedly.