It is always possible, as you noted, to translate a mutual inductive family into a non-mutual family, in much the same way as you described.
A couple of difficulties though:
If your mutual inductives are not parametrized, say you have
Inductive Foo := foo : Bar -> Foo
with Bar := bar : Foo -> Bar
(with some constants if you want to make the types ...