Patches the refinement types problem in #19

Closes #19. I filed a bug against Scala, since this also affects
specialization -- once the proper fix is in, we should be able to
undo this patch.

See SI-7662: https://issues.scala-lang.org/browse/SI-7662