completes basic constraint propogation functionality
fixes branching so that it fails correctly
adds sudoku example
updates site appearance