Strip name prefixes in Solver.

Implement basic name script parsing and use it to strip name prefixes in
the Solver() routine.