FULLPIPE: Implement ModalIntro destructor