add missing constants, add Rule->type attribute, improve pool job problem handling
document Solver, Problem, Rule, Ruleinfo, Solution, Solutionelement classes