type ContractSource = { filename: string; source: string };
type filename = string;
type source = string;