Note to future me: sorry. Committing past couple of weeks' changes in one go, can clean up history later. DLXImpl modified, still not working properly, though progress made (missing outer loop added... etc)