Highlight variables from error context as bound
Show error contexts with pretty-printer