bug #4: missing Constr wrapper
gcon instead of qcon
removed Haskell import
merge list constructor, again
merge int constructor, again
bug: Constr wrapper missing