added better diagnostics in event of typechecker failure
added better diagnostics in event of typechecker failure

nightscape/platform,unisonweb/platform,unisonweb/platform,nightscape/platform,unisonweb/platform,nightscape/platform