Check for visibility of data constructor arguments
Give good error messages for constructor-in-constructor cases
Also check the data con scope for newtypes