--- a/LMCS-Review	Tue Jan 03 01:42:10 2012 +0000
+++ b/LMCS-Review	Tue Jan 03 11:43:27 2012 +0000
@@ -203,6 +203,18 @@
 >   of pairs. I think that the system should at the very least allow encoding
 >   this example, otherwise set-abstractions will not be very useful in
 >   practice.
+
+>> datatype trm =
+>>       Var string
+>>     | App trm trm
+>>     | Lam string trm
+>>     | Let "(string * trm) fset" trm
+>> Not a problem. Both finite sets and bags should be possible as
+>> constructors within the new package.
+>> Best regards and a happy new year!
+>> Andrei Popescu
+
+
 >
 > Detailed comments
 >