It is confusing that Proposals such as StaticProposal accept arrays of proposals and one can also specify arrays of Proposals in the MetropolisHastings sampler. Would it be sufficient to only support arrays of proposals (and similar for tuples etc.)?