Added captured types and approximation

CapturedType captures type projection while solving the constraint system.
During the substitution type containing captured types is approximated
to get rid of captured types and (for simple cases) replace them with corresponding type projections.

Note that Array<Array< CapturedType(out Int) >> is (over)approximated by Array<out<Array<out Int>>

See 'Mixed-site variance' by Ross Tate for details.

 #KT-2570 Fixed
 #KT-2872 Fixed
 #KT-3213 Fixed
Capture types only on the top level
Refactoring: made code in 'processDeclaredBoundConstraints' more kotlin
KT-6320 AssertionError in ConstraintSystem(The constraint shouldn't contain different type variables on both sides: Y <: X)
  #KT-6320 Fixed
Don't add a constraint T <: DONT_CARE from upper bounds
Added description of 'FILE' directive for diagnostic tests
Preserve nullability while substituting captured types
Small refactoring
 Made vararg parameters have Array<out T> type
 instead of simply Array<T>
  #KT-1638 Fixed
  #KT-2163 Fixed
  #KT-3213 Fixed
  #KT-4172 Fixed
  #KT-5534 Fixed
Updated test data for Array<out T> vararg type
More tests for varargs updated
Capture notnullable type if type variable is nullable
Fixed 'subtype' for captured type
After approximation interpret Contr<*> as Contr<Nothing>
not Contr<out Any?>
Throw error for conflict in variances to combine
Type variable with non-trivial upper bound cannot capture 'in' projection
Temporary hack to compile 'kotlin'
Rename: TypeCheckerTypingConstraints -> TypeCheckerProcedureCallbacks
Simplified NameSuggester; added test