Parse patterns separately?

[asmaloney]

Maybe split the parser to handle the file format and the patterns separately?

It would be useful to be able to take the goal the user wants to set and parse it by itself.

Right now the goal is handled differently in different frameworks. Providing a parse would handle this consistently and possibly provide better error messages.