added basic print-defn and print-defn- . They do multiple evaluation for the moment, so use
with care.