Specialiser type pattern matching added

Author: Oli-Ar

hkmc2/shared/src/main/scala/hkmc2/MLsCompiler.scala

@@ -80,9 +80,9 @@ class MLsCompiler(preludeFile: os.Path, mkOutput: ((Str => Unit) => Unit) => Uni
     newCtx.nest(N).givenIn:
       val elab = Elaborator(etl, wd, newCtx)
       val parsed = mainParse.resultBlk
-      val (blk0, _) = elab.importFrom(parsed)
+      val (blk0, ctx) = elab.importFrom(parsed)
       val blk: semantics.Term.Blk = blk0.copy(stats = semantics.Import(State.runtimeSymbol, runtimeFile.toString) :: blk0.stats)
-      val typ = new semantics.SimpleSub(stl)
+      val typ = new semantics.SimpleSub(ctx, stl)
       val spBlk = typ.analyzeTermTypes(blk)
       val low = ltl.givenIn:
         new codegen.Lowering()