SmartWalletContractTerms: {
    agoricNames: ERef<NameHub>;
    assetPublisher: AssetPublisher;
    board: ERef<index>;
}