added a small pretty printer for better error messges. Needs more tests and tool integration