Use mkDataType when constructing the environment rather than mkTuple. The entries in the debugging environment are a list so should be constructed with mkDataType.
Use mkDataType when constructing the environment rather than mkTuple.
The entries in the debugging environment are a list so should be constructed
with mkDataType.

mn200/polyml,mn200/polyml,polyml/polyml,dcjm/polyml,polyml/polyml,mn200/polyml,dcjm/polyml,polyml/polyml,polyml/polyml,mn200/polyml,dcjm/polyml,dcjm/polyml