update for Reflect.scala, where some API have been clarified and
streamlined.