Make typecheck tests provide more information.