Replace '_' with ' ' during identifier normalization.
Implements LinksToEdges.
Implemented graph search. Added some useful predicates. A lot of random edits.