Fix incorrect new basic types from Abella.read_elf_specification