Simplify circuit value declaration in places which don't rely on decorator metadata

[mitschabaude]

should be supported in ZkProgram

[mitschabaude]

definitely should enable that, I went for that kind of API in mina-attestations, where say you can define the public input in a zk program to be { x: Field, b: Bool } without worrying about wrapping that in Struct