Possibly-incorrect type error where Geb expects a product type

[rokopt]

See this comment to #47. I'm not immediately sure whether this is supposed to produce a type error or not, but I will investigate it and fix it if it's supposed to typecheck. I'm not sure whether there's any relationship with #57 not being implemented yet or not.

[rokopt]

I think I've made a test case out of the term that originally produced this error:

f1baf14

It doesn't run into the "not a product type" problem documented in the comment , though. I'm not specifically aware of anything having changed since that might have fixed it, but I might be missing something. Does the problem still occur with the Juvix-generated code?

[rokopt]

...Apparently all I needed to do was post that, and suddenly my test has started reproducing the "not a product type" error, without my making further changes. Some Lisp test infrastructure caching bug or something? I have no idea.

[rokopt]

This might be the bug:

6f28b5b

[rokopt]

#70 includes what I think might be a fix for this.

[rokopt]

I believe this has been fixed by c356c6c (borrowed from the fix in #70).