Added LaTeX report skeleton with title page.
Improved the backtracking resolve predicate, but doesn't pick candidate
actions yet.