Print support, eval abstraction with some tests.