implemented module normalizer

note that the identifiers of actual FUNs and DATAs can not be
substituted
for instance: FUN foo : <Type>
will not translate to FUN <module>.foo : <Type>