Disallow data constructors from having the same name as their enclosing module #172