ContractContext
export type ContractContext<Vs extends {[name: string]: LoadedValidator} = {[name: string]: LoadedValidator}, Ms extends {[name: string]: LoadedModule} = {[name: string]: LoadedModule}> = {[K in keyof Vs]: ContractValidatorContexts<Vs[K]>} & {[K in keyof Ms]: ContractModuleContexts<Ms[K]>}