From 5abf1dbce76b38c207e8c7cd58e49d91764b5aab Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Fri, 4 Nov 2022 12:03:51 +0100
Subject: [PATCH] Ensure types extend BL's Type term

---
 .../models/jetbrains.mps.baseLanguage.sequence.types.mps      | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps
index 341b7eaa..f5c323e4 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps
@@ -105,9 +105,11 @@
         <child id="861509610434243076" name="override" index="ns1xD" />
       </concept>
       <concept id="861509610434243104" name="jetbrains.mps.lang.coderules.structure.TermTable" flags="ng" index="ns1xd">
+        <reference id="8966267790978924106" name="extended" index="2efqH6" />
         <child id="861509610434243105" name="contents" index="ns1xc" />
       </concept>
       <concept id="861509610434243081" name="jetbrains.mps.lang.coderules.structure.TermDeclaration" flags="ng" index="ns1x$">
+        <reference id="861509610434243089" name="prototype" index="ns1xW" />
         <child id="861509610434243084" name="template" index="ns1xx" />
       </concept>
       <concept id="861509610434276450" name="jetbrains.mps.lang.coderules.structure.TermTemplate" flags="ng" index="nspSf">
@@ -973,8 +975,10 @@
   </node>
   <node concept="3iyXCk" id="3MFPGC50_T2">
     <property role="TrG5h" value="SequenceTerm" />
+    <ref role="2efqH6" to="kqnc:JOGAOsVt29" resolve="Terms" />
     <node concept="3iyMRA" id="3MFPGC50Ab3" role="ns1xc">
       <property role="TrG5h" value="sequence" />
+      <ref role="ns1xW" to="kqnc:4lCLOtwq2MF" resolve="type" />
       <node concept="nspSf" id="3MFPGC50Ab4" role="ns1xx">
         <node concept="nstbe" id="3MFPGC50Aiu" role="nspSe">
           <property role="TrG5h" value="elem" />