Stop accepting 'impl ...;', require {} instead

Progress on #7981