Try to define type of through?

type ReverseLink<S extends ISchema, Namespace extends keyof S> = {
  to: Namespace; 
  cardinality: Cardinality;
  through?: string
}