partial Eval support, added Printer