Gravar-mail: Protein splicing elements: inteins and exteins--a definition of terms and recommended nomenclature.