need a new calling convention to return types outside of registers

Author: andrew-johnson-4

PRODUCTION/typecheck.lm

@@ -938,6 +938,7 @@ typecheck-as-return := λrt . (tail(
       (2 (And( Reg16 rt )))
       (4 (And( Reg32 rt )))
       (8 (And( Reg64 rt )))
+      (_ (And( LocalVariable rt )))
    ))
 ));
 

STDLIB/default-stdlib.lm

@@ -10,6 +10,11 @@ close := λ(: x S). (: (tail(
    (as R8 S[])
 )) S[]);
 
+open := λ(: x S[]). (: (tail(
+   ()
+   SNil
+)) S);
+
 print := λ(: x S). (: (tail(
    (if (==( (.0 x) 3u64 )) (
       (print '\[\]_s)
@@ -19,9 +24,9 @@ print := λ(: x S). (: (tail(
       ) (
          (if (==( (.0 x) 1u64 )) (tail(
             (print '\[_s)
-            (print (as (.1 (as x SCons)) U64))
+            (print (open (.1 (as x SCons))))
             (print '\s_s)
-            (print (as (.2 (as x SCons)) U64))
+            (print (open (.2 (as x SCons))))
             (print '\]_s)
          )) (tail(
             (print '[_s)