tried to repair the checking of imported dataypeconstructors in data type definitions