lc: add type output (with a workaround) for Constraints in 'recover'

Workaround: ConstraintRepr SNode is added specifically for outputting types.

samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps

@@ -1501,5 +1501,17 @@
       <node concept="l2Vlx" id="2O9ahh6mHvz" role="2iSdaV" />
     </node>
   </node>
+  <node concept="24kQdi" id="47tET_WTDZz">
+    <ref role="1XX52x" to="8tt8:47tET_WTDZo" resolve="ConstraintRepr" />
+    <node concept="3EZMnI" id="47tET_WTF2U" role="2wV5jI">
+      <node concept="3F0A7n" id="47tET_WTF3o" role="3EZMnx">
+        <ref role="1NtTu8" to="8tt8:47tET_WTDZp" resolve="typeclassName" />
+      </node>
+      <node concept="3F0A7n" id="47tET_X0Jum" role="3EZMnx">
+        <ref role="1NtTu8" to="8tt8:47tET_X0JtN" resolve="typeVarName" />
+      </node>
+      <node concept="l2Vlx" id="47tET_WTF31" role="2iSdaV" />
+    </node>
+  </node>
 </model>
 

samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps

@@ -15,6 +15,7 @@
         <property id="4628067390765956802" name="abstract" index="R5$K7" />
         <property id="5092175715804935370" name="conceptAlias" index="34LRSv" />
         <child id="1071489727083" name="linkDeclaration" index="1TKVEi" />
+        <child id="1071489727084" name="propertyDeclaration" index="1TKVEl" />
       </concept>
       <concept id="1169125989551" name="jetbrains.mps.lang.structure.structure.InterfaceConceptDeclaration" flags="ig" index="PlHQZ">
         <child id="1169127546356" name="extends" index="PrDN$" />
@@ -27,6 +28,10 @@
         <reference id="1071489389519" name="extends" index="1TJDcQ" />
         <child id="1169129564478" name="implements" index="PzmwI" />
       </concept>
+      <concept id="1071489288299" name="jetbrains.mps.lang.structure.structure.PropertyDeclaration" flags="ig" index="1TJgyi">
+        <property id="241647608299431129" name="propertyId" index="IQ2nx" />
+        <reference id="1082985295845" name="dataType" index="AX2Wp" />
+      </concept>
       <concept id="1071489288298" name="jetbrains.mps.lang.structure.structure.LinkDeclaration" flags="ig" index="1TJgyj">
         <property id="1071599776563" name="role" index="20kJfa" />
         <property id="1071599893252" name="sourceCardinality" index="20lbJX" />
@@ -576,5 +581,20 @@
       <ref role="20lvS9" node="2O9ahh6mHnA" resolve="Typeclass" />
     </node>
   </node>
+  <node concept="1TIwiD" id="47tET_WTDZo">
+    <property role="EcuMT" value="4746138258032205784" />
+    <property role="TrG5h" value="ConstraintRepr" />
+    <ref role="1TJDcQ" node="2O9ahh6mHvg" resolve="Constraint" />
+    <node concept="1TJgyi" id="47tET_WTDZp" role="1TKVEl">
+      <property role="IQ2nx" value="4746138258032205785" />
+      <property role="TrG5h" value="typeclassName" />
+      <ref role="AX2Wp" to="tpck:fKAOsGN" resolve="string" />
+    </node>
+    <node concept="1TJgyi" id="47tET_X0JtN" role="1TKVEl">
+      <property role="IQ2nx" value="4746138258034063219" />
+      <property role="TrG5h" value="typeVarName" />
+      <ref role="AX2Wp" to="tpck:fKAOsGN" resolve="string" />
+    </node>
+  </node>
 </model>