Even less builtin types

build.sbt

@@ -2817,6 +2817,10 @@ lazy val `runtime-integration-tests` =
         "-Dtck.language=enso",
         "-Dtck.inlineVerifierInstrument=false",
         "-Dpolyglot.engine.AllowExperimentalOptions=true",
+        "-Dpolyglot.enso.languageHomeOverride=" + new File(
+          engineDistributionRoot.value,
+          "component"
+        ).getCanonicalPath,
         "-XX:+HeapDumpOnOutOfMemoryError",
         "-XX:HeapDumpPath=" + (Compile / packageBin).value.getParentFile
       ),

distribution/lib/Standard/Base/0.0.0-dev/src/Data/Ordering.enso

@@ -91,7 +91,6 @@ from project.Internal.Ordering_Helpers import all
        By defining the `Rational_Ordering` and making it available via
        `Comparable.from (that:Rational)` method, all parts of the Enso system will use
        the custom comparator whenever equality or hash code is needed.
-@Builtin_Type
 type Comparable
     ## ---
        private: true
@@ -256,7 +255,6 @@ type Comparable
 Comparable.from (that:Any) = Comparable.new that Default_Comparator
 
 ## Types representing the ordering of values.
-@Builtin_Type
 type Ordering
     ## A representation that the first value orders as less than the second.
     Less

distribution/lib/Standard/Base/0.0.0-dev/src/Internal/Ordering_Helpers.enso

@@ -18,7 +18,6 @@ from project.Error import all
    private: true
    ---
    Default implementation of a _comparator_.
-@Builtin_Type
 type Default_Comparator
     ## ---
        private: true

distribution/lib/Standard/Base/0.0.0-dev/src/Meta/Enso_Project.enso

@@ -6,7 +6,6 @@ from project.Data.Json import JS_Object
 from project.Errors.Common import Module_Not_In_Package_Error
 
 ## Functionality for inspecting the current project.
-@Builtin_Type
 type Project_Description
     ## ---
        private: true

distribution/lib/Standard/Base/0.0.0-dev/src/Polyglot.enso

@@ -15,7 +15,6 @@ import project.Runtime.Source_Location.Source_Location
    private: true
    ---
    Utilities for working with Polyglot objects.
-@Builtin_Type
 type Polyglot
     ## ---
        private: true

distribution/lib/Standard/Base/0.0.0-dev/src/Runtime.enso

@@ -166,7 +166,6 @@ type Stack_Trace_Element
    advanced: true
    ---
    Type indicating allowed execution context.
-@Builtin_Type
 type Context
     ## ---
        private: true

distribution/lib/Standard/Base/0.0.0-dev/src/System.enso

@@ -79,7 +79,6 @@ default_line_separator = Java_System.lineSeparator
    private: true
    ---
    The type representing the result of a process.
-@Builtin_Type
 type System_Process_Result
     ## ---
        private: true

docs/types/dynamic-dispatch.md

@@ -201,9 +201,9 @@ primarily as a _container for module (static) methods_.
 - **associated type** of a module `My_Module` is a type for the module
   - It is basically an eigen type for a module.
 - **builtin type** is a type annotated with `@Builtin_Type`.
-  - Builtin type cannot be defined outside standard libraries.
+  - Builtin type cannot be defined outside `Standard.Base` library.
   - Builtin types are usually implemented in the engine, and not with pure Enso
-    code.
+    Atom mechanism.
 - **parent type** of a type `My_Type` is a type that `My_Type` "extends", i.e.
   `My_Type` inherits all the methods defined on its parent type.
   - Every type has exactly one parent type, except for `Any` type.

engine/runtime-integration-tests/src/test/scala/org/enso/interpreter/test/instrument/RuntimeVisualizationsTest.scala

@@ -1478,7 +1478,9 @@ class RuntimeVisualizationsTest extends AnyFlatSpec with Matchers {
           )
         )
       )
-      context.receiveN(2) should contain theSameElementsAs Seq(
+      context.receiveNIgnoreExpressionUpdates(
+        2
+      ) should contain theSameElementsAs Seq(
         Api.Response(requestId, Api.VisualizationAttached()),
         Api.Response(
           Api.ExecutionFailed(

engine/runtime/src/main/java/org/enso/interpreter/node/expression/builtin/meta/EnsoProjectNode.java

@@ -95,12 +95,14 @@ private static Package<TruffleFile> getMainProjectFromCtx(EnsoContext ctx) {
     return null;
   }
 
+  @TruffleBoundary
   private static Atom createProjectDescriptionAtom(EnsoContext ctx, Package<TruffleFile> pkg) {
     var rootPath = pkg.root().normalize().getAbsoluteFile().getPath();
     var namespace = pkg.getConfig().namespace();
     var name = pkg.getConfig().name();
-    var cons = ctx.getBuiltins().getProjectDescription().getUniqueConstructor();
-
+    var ensoProject = ctx.getTopScope().getModule("Standard.Base.Meta.Enso_Project").get();
+    var projectDescription = ensoProject.getScope().getType("Project_Description", true);
+    var cons = projectDescription.getConstructors().values().iterator().next();
     return AtomNewInstanceNode.getUncached().newInstance(cons, rootPath, namespace, name);
   }
 

engine/runtime/src/main/java/org/enso/interpreter/node/expression/builtin/meta/EqualsNode.java

@@ -125,9 +125,9 @@ private static Object convertor(EnsoContext ctx, Function convFn, Object value)
               argSchema, DefaultsExecutionMode.EXECUTE, ArgumentsExecutionMode.EXECUTE);
       var state = ctx.currentState();
       var by =
-          node.execute(convFn, null, state, new Object[] {ctx.getBuiltins().comparable(), value});
-      if (by instanceof Atom atom
-          && atom.getConstructor() == ctx.getBuiltins().comparable().getBy()) {
+          node.execute(
+              convFn, null, state, new Object[] {ctx.getBuiltins().comparableType(), value});
+      if (by instanceof Atom atom && atom.getConstructor() == ctx.getBuiltins().comparableBy()) {
         var structs = StructsLibrary.getUncached();
         return structs.getField(atom, 1);
       } else {
@@ -158,7 +158,7 @@ Boolean findConversions(Type selfType, Type thatType, Object self, Object that)
     private static boolean findConversionImpl(
         EnsoContext ctx, Type selfType, Type thatType, Object self, Object that) {
       var selfScope = selfType.getDefinitionScope();
-      var comparableType = ctx.getBuiltins().comparable().getType();
+      var comparableType = ctx.getBuiltins().comparableType();
 
       var fromSelfType =
           UnresolvedConversion.build(selfScope).resolveFor(ctx, comparableType, selfType);

engine/runtime/src/main/java/org/enso/interpreter/node/expression/builtin/ordering/CustomComparatorNode.java

@@ -46,15 +46,14 @@ Type hasCustomComparatorCached(
           InvokeConversionNode convertNode,
       @Cached(value = "createConversion()", allowUncached = true) UnresolvedConversion conversion) {
     var ctx = EnsoContext.get(this);
-    var comparableType = ctx.getBuiltins().comparable().getType();
+    var comparableType = ctx.getBuiltins().comparableType();
     var state = ctx.currentState();
     Object rawRes =
         convertNode.execute(
             null, state, conversion, comparableType, atom, new Object[] {comparableType, atom});
-    if (rawRes instanceof Atom res
-        && res.getConstructor() == ctx.getBuiltins().comparable().getBy()) {
+    if (rawRes instanceof Atom res && res.getConstructor() == ctx.getBuiltins().comparableBy()) {
       if (structs.getField(res, 1) instanceof Type result) {
-        if (result != ctx.getBuiltins().defaultComparator().getType()) {
+        if (result != ctx.getBuiltins().defaultComparatorType()) {
           return result;
         }
       }
@@ -65,7 +64,7 @@ Type hasCustomComparatorCached(
   @NeverDefault
   UnresolvedConversion createConversion() {
     var ctx = EnsoContext.get(this);
-    var comparableType = ctx.getBuiltins().comparable().getType();
+    var comparableType = ctx.getBuiltins().comparableType();
     return UnresolvedConversion.build(comparableType.getDefinitionScope());
   }
 

engine/runtime/src/main/java/org/enso/interpreter/node/expression/builtin/ordering/HashCallbackNode.java

@@ -51,8 +51,8 @@ long hashCallbackCached(
           InvokeFunctionNode hashCallbackInvokeNode,
       @CachedLibrary(limit = "5") InteropLibrary interop) {
     var ctx = EnsoContext.get(this);
-    var comparableType = ctx.getBuiltins().comparable().getType();
-    var defCompType = ctx.getBuiltins().defaultComparator().getType();
+    var comparableType = ctx.getBuiltins().comparableType();
+    var defCompType = ctx.getBuiltins().defaultComparatorType();
     Object res =
         hashCallbackInvokeNode.execute(
             hashCallbackFunc,
@@ -80,7 +80,7 @@ static InvokeFunctionNode buildInvokeNodeWithAtomArgument() {
   @NeverDefault
   @TruffleBoundary
   Function getHashCallbackFunction() {
-    var defCompType = EnsoContext.get(this).getBuiltins().defaultComparator().getType();
+    var defCompType = EnsoContext.get(this).getBuiltins().defaultComparatorType();
     var fn = defCompType.getDefinitionScope().getMethodForType(defCompType, "hash_callback");
     assert fn != null : "Default_Comparator.hash_callback function must exist";
     return fn;

engine/runtime/src/main/java/org/enso/interpreter/node/expression/builtin/ordering/SortVectorNode.java

@@ -381,8 +381,7 @@ private Object attachDifferentComparatorsWarning(Object vector, List<Group> grou
   private String getDefaultComparatorQualifiedName() {
     return EnsoContext.get(this)
         .getBuiltins()
-        .defaultComparator()
-        .getType()
+        .defaultComparatorType()
         .getQualifiedName()
         .toString();
   }
@@ -493,7 +492,7 @@ boolean areAllDefaultComparators(
   }
 
   boolean isDefaultComparator(Object object, EnsoContext ctx) {
-    return ctx.getBuiltins().defaultComparator().getType() == object;
+    return ctx.getBuiltins().defaultComparatorType() == object;
   }
 
   private boolean isNan(Object object) {