Switch to a lookup table for finding Isabelle names.