Raise error when implementation constructor has code. Add missing file headers. Add back some commented generic tests.