Generics

We've deployed a new version of the Acorn Prover, 0.0.5, with support for a commonly requested feature