improved proof printing
fixed bug where goal nodes would display in-context types