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,
The error is a bit odd. It may be that t/Keyword is the thing that's failing here.
Please try and isolate this error.
Oh I see the issue. Cannot resolve Protocol called `*`!