A flag in the JDR to govern usage of platform types
Flexible types added to JDR

So far they act exactly like inflexible ones
Render flexible types in debug mode
Tests for Java method calls
(?) Don't replace parameter types in propagation
Support flexible types in TypeCheckingProcedure
Minor. DelegatingFlexibleType moved to top level
TypeSubstitutor respects flexible types
Support flexible types in DataFlowValues
Do not transform types in propagation if all supertypes are flexible (i.e. come from Java)
Fix the case of safe call and elvis operators: flexible types may be nullable
Test data fixed
Supertypes should not be flexible
Failing test isolated
Equality for flexible types
Support forced resolve for lazy flexible types
Better support for forced resolve while debugging
Respect flexible types in propagation
Rendering flexible types with "!" and optional parts
Don't create platform types for annotation members