Improve validation when transforming modules

[ewanharris]

Q: do we have validation so that a type cannot be extended twice in the same file?

_Originally posted by @rhamzeh in https://github.com/openfga/language/pull/178#discussion_r1517874746_

• [ ] File cannot contain two modules (JSON validation)