Make cross-module types aware of user-specified aliases