Fix UnboundLocalError: local variable 'cur_definition_names' referenced before assignment
Improve error string parsing, nicer prompts

We now can parse [Set Printing Universe] universe inconsistencies
better.