Additional documentation for type inference
   * least upper bound
   * instanceof inference