Conformance
var proto
var protocol
using
GenericSignature.mapTypeIntoContext
BuiltinFixedArray
IntegerType