Predicate generation for HVec's do not support uniform variable parameters.
This seems to be a symptom of * not being parsed correctly.
First, HVec's clearly ignores the variable parameters when they are parsed.
This is actually correctly done for quoted HVec types like '[Foo Bar *] here.
This change should fix things; the contract generation already works for quoted HVec's since it expects a rest entry,