added nondet/nalk.k (for nondeterministic algorithms) and polished the examples.