Tasks

• Compute type parameters for NamedType
• Compute type parameters for List
• Compute type parameters for Map
• Update type computation for IndexedAccess
• Update type checking for index of indexed access on map
• Add new type "TypeParameterType"
• Add methods substituteTypeParameters(substitutions: TypeParameterSubstitutions) to all types
• classTypeIsAssignableTo must handle type parameters (+variance)
• ClassType.equals needs to check type parameter substitutions
• ClassType.toString should show type parameter substitutions
• Type arguments & type parameters should no longer be experimental.
• IndexedAccess should no longer be experimental