Initial commit, skeleton of main backtracking fn