Type redundancy between module signature .resi and modules .res

Currently types defined in signature file .resi are not accessible from modules .res with same name, this forces code duplication by forcing to define the type twice for the same module, which feels awkward coming from typescript were .d.ts files allow to define types only once, before someone mentions in comments that this is the expected way rescript works, think that implies that redundancy is an okay thing to accept