Fix eager typecheck of Map (#1654)

Closes #1653

pkl-core/src/main/java/org/pkl/core/ast/type/TypeNode.java

@@ -1543,7 +1543,7 @@ public abstract class TypeNode extends PklNode {
       if (skipEntryTypeChecks) return value;
       for (var entry : value) {
         keyTypeNode.executeEagerly(frame, VmUtils.getKey(entry));
-        valueTypeNode.executeLazily(frame, VmUtils.getValue(entry));
+        valueTypeNode.executeEagerly(frame, VmUtils.getValue(entry));
       }
 
       LoopNode.reportLoopCount(this, value.getLength());

pkl-core/src/test/files/LanguageSnippetTests/input/basic/is2.pkl

@@ -1,5 +1,9 @@
 amends "../snippetTest.pkl"
 
+local class Animal
+
+local class Person
+
 facts {
   ["List"] {
     List(1, 2, 3) is List<Int>
@@ -16,6 +20,7 @@ facts {
   ["Map"] {
     Map("Pigeon", 42, "Barn Owl", 21) is Map<String, Int>
     !(Map("Pigeon", 42, "Barn Owl", 21) is Map<Int, String>)
+    !(Map("bob", new Listing { new Animal {} }) is Map<String, Listing<Person>>)
   }
 
   ["Listing"] {

pkl-core/src/test/files/LanguageSnippetTests/output/basic/is2.pcf

@@ -12,6 +12,7 @@ facts {
   ["Map"] {
     true
     true
+    true
   }
   ["Listing"] {
     true