Allow protocol definitions nested inside modules