Strict import style: Generate Modules

This time I qualified big ADTs like you did after the last one.