add pretty printing for core language