Non–protein-coding intervening sequences that are spliced from mRNA during processing.