NDEvaluator now a trait
(Previous) NDEvaluator -> StreamEvaluator
AngelicEvaluator is parametrized to the underlying evaluator
Fix Choose and Minus in StreamEvaluator