@lucy I was gonna suggest Objective C, unironically, because it seems like it'd give you most of the things you want (first-class strings/arrays, message-passing, etc.) but I don't think Objective C can be used without a kernel (though I'm not sure about that; I guess it depends on the runtime library).