base2: An IR for Binary Numeral Types. - Karl F. A. Friebel; Jiahong Bi; Jerónimo Castrillón (HEART, 2023)