This reverts commit 8b42819704.
8b42819704
This now allows to import a light-weight header containing the abstract interface separately from the templated header that manages the actual backtracking, thus speeding up compilation.