Mini-SIP for case if

I’m also against the case if proposal, but strongly for the implicit val _ = ... proposal. Though it’s 2018 and those implicits should have types, which requires implicit val _ : Foo = ..., with a crucial space between the underscore and the colon. Unless we’re going to change the parsing rules too…?