fixed confusion between module names and ADT type names