Cleanup warnings 1 (#2977)

* Add explicit default `case` for non-exhaustive matches
Report the variable being matched
Improved messages for exceptions caught by
non-exhaustive matches

* Made an InternalErrorException to encapsulate match errors

* scalafmt

* Address review comments

* uses 2.12 adapter LazyList = Stream