Fix #743: duplicate load of Identifier Types table