Initial pass over Eval, Val, Pretty and Primitive based on explicit BoolAlg

Initial pass over Eval, Val, Pretty and Primitive based on explicit BoolAlg #1061