core-typed 2018-05-31

@ambrosebs Is it possible to extract nillable types from Scala or Kotlin annotations somewhere?

What is your take on spectrum? It seems it is a good way to approach typing now that spec is there.