Started documentation for type inference
   * principles of type inference
   * differences between fields and local variables
   * collection literals