Added some pretty printing for closure errors.
Added further error information for inconsistencies.