ranger-compiler 3.5.0 → 3.5.2

package/dist/api.d.ts

@@ -1,3 +1,54 @@
+export declare enum RangerAnnType {
+    None = 0,
+    Expression = 1,
+    Type = 2,
+    VRef = 3
+}
+export declare enum RangerMethodCallType {
+    None = 0,
+    Method = 1,
+    Static = 2
+}
+export declare enum RangerWrap {
+    None = 0,
+    Optional = 1,
+    Unwrap = 2
+}
+export declare enum RangerVForce {
+    None = 0,
+    Weak = 1,
+    Strong = 2
+}
+export declare enum RangerNodeRefType {
+    NoType = 0,
+    Weak = 1,
+    Strong = 2,
+    Shared = 3,
+    StrongImmutable = 4
+}
+export declare enum RangerContextVarType {
+    NoType = 0,
+    This = 1,
+    ThisProperty = 2,
+    NewObject = 3,
+    FunctionParameter = 4,
+    LocalVariable = 5,
+    Array = 6,
+    Object = 7,
+    Property = 8,
+    Class = 9,
+    Function = 10
+}
+export declare enum DictNodeType {
+    NoType = 0,
+    Double = 1,
+    Integer = 2,
+    String = 3,
+    Boolean = 4,
+    Array = 5,
+    Object = 6,
+    Null = 7
+}
 export declare class CmdParams {
     flags: {
         [key: string]: boolean;
@@ -14,7 +65,6 @@ export declare class CmdParams {
     static fromDictionary(dict: Record<string, any>): CmdParams;
 }
 export declare class test_cmdparams {
-    constructor();
     run(): void;
 }
 export declare class InputFSFolder {
@@ -49,9 +99,9 @@ export declare class InputFileResolver {
     knownName(name: string): boolean;
     baseName(path: string): string;
     exists(path: string, name: string): boolean;
-    tryRead(path: string, name: string): Promise<string> | undefined;
+    tryRead(path: string, name: string): string | undefined;
     hostHas(name: string): boolean;
-    hostRead(name: string): Promise<string> | undefined;
+    hostRead(name: string): string | undefined;
     toDictionary(): Record<string, any>;
     static fromDictionary(dict: Record<string, any>): InputFileResolver;
 }
@@ -69,18 +119,12 @@ export declare class InputEnv {
     toDictionary(): Record<string, any>;
     static fromDictionary(dict: Record<string, any>): InputEnv;
 }
-export declare class test_input_filesystem {
-    constructor();
-}
 export declare class RangerAppTodo {
     description: string;
     todonode?: CodeNode;
     constructor();
 }
 export declare class RangerCompilerMessage {
-    error_level: number;
-    code_line: number;
-    fileName: string;
     description: string;
     node?: CodeNode;
     constructor();
@@ -126,7 +170,6 @@ export declare class RangerDocBlock {
     viewFor(name: string): RangerDocBlock;
 }
 export declare class RangerDocReader {
-    constructor();
     wordAt(node: CodeNode, idx: number): string;
     textFrom(node: CodeNode, startIndex: number): string;
     blockArgOf(node: CodeNode): CodeNode;
@@ -146,7 +189,6 @@ export declare class RangerApiMethod {
     name: string;
     compiledName: string;
     is_static: boolean;
-    is_constructor: boolean;
     is_public: boolean;
     returnType: string;
     returnDoc: string;
@@ -212,6 +254,38 @@ export declare class RangerApiBuilder {
     markExamplesOf(doc: RangerDocBlock, owner: CodeNode, ctx: RangerAppWriterContext): void;
     resolveExamples(model: RangerApiModel, ctx: RangerAppWriterContext): void;
 }
+export declare class RangerApiPackageWriter {
+    settingOr(ctx: RangerAppWriterContext, key: string, fallback: string): string;
+    jsonEscape(value: string): string;
+    writeNpmPackage(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    xmlEscape(value: string): string;
+    writeCsProject(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    writeDocFxConfig(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    writeDocFxHome(model: RangerApiModel, ctx: RangerAppWriterContext, name: string, orig_wr: CodeWriter): void;
+    swiftModuleName(raw: string): string;
+    writeSwiftPackage(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    writeDocCCatalog(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    writeKotlinGradle(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    writeDokkaModuleDoc(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    writeDartBarrel(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter, node: CodeNode): void;
+    pyModuleName(raw: string): string;
+    writePyProject(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    writePyAll(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    writeReadme(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    writeDartPubspec(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    writeAll(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter, node: CodeNode): void;
+}
+export declare class RangerApiArtifactWriter {
+    jsonEscape(value: string): string;
+    jsonString(value: string): string;
+    jsonBool(value: boolean): string;
+    jsonStringList(items: Array<string>): string;
+    docFields(doc: RangerDocBlock, has: boolean): string;
+    writeJson(model: RangerApiModel, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeMarkdown(model: RangerApiModel, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeReport(model: RangerApiModel, wr: CodeWriter): void;
+    writeAll(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+}
 export declare class RangerDocCommentWriter {
     exampleTexts: Array<string>;
     constructor();
@@ -263,42 +337,7 @@ export declare class RangerDocCommentWriter {
     writeCsDocForField(p: RangerAppParamDesc, wr: CodeWriter): void;
     static lookupFn(ctx: RangerAppWriterContext, name: string): RangerAppFunctionDesc;
 }
-export declare class RangerApiArtifactWriter {
-    constructor();
-    jsonEscape(value: string): string;
-    jsonString(value: string): string;
-    jsonBool(value: boolean): string;
-    jsonStringList(items: Array<string>): string;
-    docFields(doc: RangerDocBlock, has: boolean): string;
-    writeJson(model: RangerApiModel, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    writeMarkdown(model: RangerApiModel, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    writeReport(model: RangerApiModel, wr: CodeWriter): void;
-    writeAll(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
-}
-export declare class RangerApiPackageWriter {
-    constructor();
-    settingOr(ctx: RangerAppWriterContext, key: string, fallback: string): string;
-    jsonEscape(value: string): string;
-    writeNpmPackage(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
-    xmlEscape(value: string): string;
-    writeCsProject(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
-    writeDocFxConfig(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
-    writeDocFxHome(model: RangerApiModel, ctx: RangerAppWriterContext, name: string, orig_wr: CodeWriter): void;
-    swiftModuleName(raw: string): string;
-    writeSwiftPackage(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
-    writeDocCCatalog(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
-    writeKotlinGradle(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
-    writeDokkaModuleDoc(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
-    writeDartBarrel(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter, node: CodeNode): void;
-    pyModuleName(raw: string): string;
-    writePyProject(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
-    writePyAll(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
-    writeReadme(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
-    writeDartPubspec(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
-    writeAll(model: RangerApiModel, ctx: RangerAppWriterContext, orig_wr: CodeWriter, node: CodeNode): void;
-}
 export declare class RangerParamEventHandler {
-    constructor();
     callback(param: RangerAppParamDesc): void;
 }
 export declare class RangerParamEventList {
@@ -376,12 +415,13 @@ export declare class RangerAppParamDesc {
     propertyClass?: RangerAppClassDesc;
     fnDesc?: RangerAppFunctionDesc;
     ownerHistory: Array<RangerRefForce>;
-    varType: number;
-    refType: number;
-    initRefType: number;
+    varType: RangerContextVarType;
+    refType: RangerNodeRefType;
+    initRefType: RangerNodeRefType;
     isParam?: boolean;
     paramIndex: number;
     is_optional: boolean;
+    implicit_optional: boolean;
     is_mutating: boolean;
     is_set: boolean;
     is_class_variable: boolean;
@@ -419,7 +459,7 @@ export declare class RangerAppParamDesc {
     is_doc_example: boolean;
     docExampleText: string;
     has_events: boolean;
-    eMap?: RangerParamEventMap;
+    eMap: RangerParamEventMap;
     constructor();
     addEvent(name: string, e: RangerParamEventHandler): void;
     changeStrengthSelf(newStrength: number, lifeTime: number): void;
@@ -458,7 +498,7 @@ export declare class RangerAppFunctionDesc extends RangerAppParamDesc {
     is_unsed: boolean;
     is_called_from_main: boolean;
     container_class?: RangerAppClassDesc;
-    refType: number;
+    refType: RangerNodeRefType;
     fnCtx?: RangerAppWriterContext;
     insideFn?: RangerAppFunctionDesc;
     call_graph_done: boolean;
@@ -484,9 +524,9 @@ export declare class RangerAppFunctionDesc extends RangerAppParamDesc {
     mutates_param_indices: Array<number>;
     constructor();
     addCallTo(m: RangerAppFunctionDesc): void;
-    addIndirectClassUsage(m: RangerAppClassDesc, ctx: RangerAppWriterContext): Promise<void>;
-    addClassUsage(m: RangerAppClassDesc, ctx: RangerAppWriterContext): Promise<void>;
-    forOtherVersions(ctx: RangerAppWriterContext, cb: (item: RangerAppFunctionDesc) => void): Promise<void>;
+    addIndirectClassUsage(m: RangerAppClassDesc, ctx: RangerAppWriterContext): void;
+    addClassUsage(m: RangerAppClassDesc, ctx: RangerAppWriterContext): void;
+    forOtherVersions(ctx: RangerAppWriterContext, cb: (item: RangerAppFunctionDesc) => void): void;
     isFunction(): boolean;
     isClass(): boolean;
     isProperty(): boolean;
@@ -552,6 +592,12 @@ export declare class RangerAppClassDesc extends RangerAppParamDesc {
     is_operator_class: boolean;
     is_generic_instance: boolean;
     is_union: boolean;
+    generic_template: string;
+    generic_args: Array<string>;
+    generic_has_placeholder: boolean;
+    is_generic_form: boolean;
+    is_type_param: boolean;
+    type_param_name: string;
     is_used_by_main: boolean;
     is_not_used: boolean;
     generic_params?: CodeNode;
@@ -595,6 +641,7 @@ export declare class RangerAppClassDesc extends RangerAppParamDesc {
     };
     rust_trait_mut_ready: boolean;
     rust_needs_ref_semantics: boolean;
+    rust_trait_reentrant: boolean;
     rust_ref_reason: string;
     constructor();
     isClass(): boolean;
@@ -618,7 +665,9 @@ export declare class RangerAppClassDesc extends RangerAppParamDesc {
     findStaticMethod(f_name: string): RangerAppFunctionDesc | undefined;
     findVariable(f_name: string): RangerAppParamDesc | undefined;
     addParentClass(p_name: string): void;
-    createVariable(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    createVariable(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    isAssignedInConstructor(fieldName: string): boolean;
+    isAssignedInConstructorBefore(fieldName: string, readPos: number): boolean;
     addVariable(desc: RangerAppParamDesc): void;
     addMethod(desc: RangerAppFunctionDesc): void;
     addStaticMethod(desc: RangerAppFunctionDesc): void;
@@ -653,54 +702,25 @@ export declare class SourceCode {
     code: string;
     lines: Array<string>;
     filename: string;
+    lineStarts: Array<number>;
+    lineStartsReady: boolean;
     constructor(code_str: string);
     getLineString(line_index: number): string;
+    ensureLineStarts(): void;
     getLine(sp: number): number;
     getColumnStr(sp: number): string;
     getColumn(sp: number): number;
 }
-export declare class CodeNodeLiteral {
-    expression: boolean;
-    vref: string;
-    is_block_node: boolean;
-    type_name: string;
-    key_type: string;
-    array_type: string;
-    ns: Array<string>;
-    has_vref_annotation: boolean;
-    vref_annotation?: CodeNodeLiteral;
-    has_type_annotation: boolean;
-    type_annotation?: CodeNodeLiteral;
-    parsed_type: number;
-    value_type: number;
-    double_value: number;
-    string_value: string;
-    int_value: number;
-    boolean_value: boolean;
-    expression_value?: CodeNodeLiteral;
-    props: {
-        [key: string]: CodeNodeLiteral;
-    };
-    prop_keys: Array<string>;
-    comments: Array<CodeNodeLiteral>;
-    children: Array<CodeNodeLiteral>;
-    attrs: Array<CodeNodeLiteral>;
-    constructor();
-    toDictionary(): Record<string, any>;
-    static fromDictionary(dict: Record<string, any>): CodeNodeLiteral;
-}
 export declare class CodeNode {
     code?: SourceCode;
     sp: number;
     ep: number;
     row: number;
-    col: number;
     has_operator: boolean;
     disabled_node: boolean;
     op_index: number;
     is_array_literal: boolean;
     is_system_class: boolean;
-    is_plugin: boolean;
     is_direct_method_call: boolean;
     mutable_def: boolean;
     expression: boolean;
@@ -717,6 +737,13 @@ export declare class CodeNode {
     rust_preevaluated_args: Array<CodeNode>;
     rust_use_tmpvar: string;
     rust_is_tail_return: boolean;
+    rg_moved_here: boolean;
+    rg_init_fold: boolean;
+    rg_init_fields: Array<string>;
+    rg_init_values: Array<CodeNode>;
+    rg_init_stmts: Array<CodeNode>;
+    rg_init_covers_all: boolean;
+    rg_init_folded: boolean;
     operator_pred: number;
     to_the_right: boolean;
     right_node?: CodeNode;
@@ -731,8 +758,7 @@ export declare class CodeNode {
     type_annotation?: CodeNode;
     parsed_type: number;
     value_type: number;
-    ref_type: number;
-    ref_need_assign: number;
+    ref_type: RangerNodeRefType;
     double_value: number;
     string_value: string;
     int_value: number;
@@ -749,7 +775,6 @@ export declare class CodeNode {
     appGUID: string;
     register_name: string;
     register_expressions: Array<CodeNode>;
-    after_expression: Array<CodeNode>;
     definedTypeClass?: RangerTypeClass;
     evalTypeClass?: RangerTypeClass;
     lambda_ctx?: RangerAppWriterContext;
@@ -780,18 +805,19 @@ export declare class CodeNode {
     operator_node?: CodeNode;
     flow_ctx?: RangerAppWriterContext;
     is_part_of_chain: boolean;
+    is_paren_member: boolean;
     methodChain: Array<CallChain>;
     chainTarget?: CodeNode;
     register_set: boolean;
-    did_walk: boolean;
     reg_compiled_name: string;
     tag: string;
     matched_type: string;
     constructor(source: SourceCode, start: number, end: number);
+    IsOptional(): boolean;
     childCnt(): number;
     getChild(index: number): CodeNode | undefined;
     chlen(): number;
-    forTree(callback: (item: CodeNode, i: number) => void): Promise<void>;
+    forTree(callback: (item: CodeNode, i: number) => void): void;
     parallelTree(otherTree: CodeNode, callback: (left: CodeNode, right: CodeNode, i: number) => void): void;
     walkTreeUntil(callback: (item: CodeNode, i: number) => boolean): void;
     getParsedString(): string;
@@ -842,8 +868,8 @@ export declare class CodeNode {
     inferDefExpressionTypeFromValue(node: CodeNode): void;
     inferDefTypeFromValue(node: CodeNode): void;
     getCode(): string;
-    cleanNode(): Promise<void>;
-    cleanCopy(): Promise<CodeNode>;
+    cleanNode(): void;
+    cleanCopy(): CodeNode;
     copy(): CodeNode;
     clone(): CodeNode;
     push(node: CodeNode): void;
@@ -884,7 +910,6 @@ export declare class CodeNode {
     static blockFromList(list: Array<CodeNode>): CodeNode;
 }
 export declare class TTypeRegistry {
-    constructor();
     static scalarPrimitiveNames(): Array<string>;
     static isIntAlias(typeName: string): boolean;
     static isFloatAlias(typeName: string): boolean;
@@ -975,10 +1000,21 @@ export declare class RangerAppWriterContext {
     op_list: {
         [key: string]: RangerOperatorList;
     };
+    automatically_unwrapped: {
+        [key: string]: boolean;
+    };
+    known_present: {
+        [key: string]: boolean;
+    };
+    flow_narrowed: {
+        [key: string]: number;
+    };
+    auto_unwrap_suppression: number;
     reservedWords?: CodeNode;
     intRootCounter: number;
     targetLangName: string;
     parent?: RangerAppWriterContext;
+    cachedRoot?: RangerAppWriterContext;
     defined_imports: Array<string>;
     active_macros: {
         [key: string]: boolean;
@@ -1043,6 +1079,12 @@ export declare class RangerAppWriterContext {
     templateClasses: {
         [key: string]: RangerAppClassDesc;
     };
+    nativeGenerics: {
+        [key: string]: boolean;
+    };
+    genericFormUses: {
+        [key: string]: Array<string>;
+    };
     classStaticWriters: {
         [key: string]: CodeWriter;
     };
@@ -1094,13 +1136,16 @@ export declare class RangerAppWriterContext {
     opNs: Array<string>;
     langFilePath: string;
     libraryPaths: Array<string>;
+    moduleFunctions: {
+        [key: string]: string;
+    };
+    fileModules: {
+        [key: string]: string;
+    };
     outputPath: string;
     counters: TypeCounts;
     parser?: RangerFlowParser;
     compiler?: LiveCompiler;
-    pluginNodes: {
-        [key: string]: RangerNodeList;
-    };
     typedNodes: {
         [key: string]: RangerNodeList;
     };
@@ -1128,6 +1173,17 @@ export declare class RangerAppWriterContext {
     rootFile: string;
     constructor();
     rustMarkMoved(varName: string): void;
+    setKnownPresent(varName: string): void;
+    isKnownPresent(varName: string): boolean;
+    setFlowNarrowed(varName: string, state: number): void;
+    isNarrowed(varName: string): boolean;
+    isPresentForStrict(varName: string): boolean;
+    setAutomaticallyUnwrapped(varName: string): void;
+    getListOfAutomaticallyUnwrapped(): Array<string>;
+    isAutomaticallyUnwrapped(varName: string): boolean;
+    suppressAutoUnwrap(): void;
+    restoreAutoUnwrap(): void;
+    autoUnwrapIsSuppressed(): boolean;
     rustIsMoved(varName: string): boolean;
     rustClearMoved(varName: string): void;
     rustIncUsage(varName: string): void;
@@ -1139,7 +1195,8 @@ export declare class RangerAppWriterContext {
     unsetTestCompile(): void;
     isTestCompile(): boolean;
     addOpFn(name: string, code: CodeNode): void;
-    getOpFns(name: string): Promise<Array<CodeNode>>;
+    isOptional(node: CodeNode): boolean;
+    getOpFns(name: string): Array<CodeNode>;
     getLastBlockOp(): CodeNode | undefined;
     removePluginOp(name: string): void;
     isPluginOp(node: CodeNode): boolean;
@@ -1149,24 +1206,22 @@ export declare class RangerAppWriterContext {
     getTypeClass(name: string): RangerTypeClass | undefined;
     getParser(): RangerFlowParser | undefined;
     getCompiler(): LiveCompiler | undefined;
-    getTypedNodes(name: string): Promise<Array<CodeNode>>;
+    getTypedNodes(name: string): Array<CodeNode>;
     addTypedNode(name: string, op: CodeNode): void;
-    getPluginNodes(name: string): Promise<Array<CodeNode>>;
-    addPluginNode(name: string, op: CodeNode): void;
     addOperator(op: RangerAppOperatorDesc): void;
-    getAllOperators(): Promise<Array<RangerAppOperatorDesc>>;
+    getAllOperators(): Array<RangerAppOperatorDesc>;
     getOperatorsOf(name: string): Array<RangerAppOperatorDesc>;
-    initOpList(): Promise<void>;
+    initOpList(): void;
     incLambdaCnt(): void;
     createNewRegName(): string;
     createNewOpFnName(): string;
     isTryBlock(): boolean;
     isCatchBlock(): boolean;
-    pushAndCollectAst(rootNode: CodeNode, wr: CodeWriter): Promise<void>;
-    pushAndCompileAst(rootNode: CodeNode, wr: CodeWriter): Promise<void>;
+    pushAndCollectAst(rootNode: CodeNode, wr: CodeWriter): void;
+    pushAndCompileAst(rootNode: CodeNode, wr: CodeWriter): void;
     pushAst(source_code: string, node: CodeNode, wr: CodeWriter): void;
-    pushAndCollectCode(source_code: string, wr: CodeWriter): Promise<void>;
-    pushCode(source_code: string, wr: CodeWriter): Promise<void>;
+    pushAndCollectCode(source_code: string, wr: CodeWriter): void;
+    pushCode(source_code: string, wr: CodeWriter): void;
     addViewClassBody(name: string, classDef: CodeNode): void;
     addPage(name: string, classDef: CodeNode): void;
     addService(name: string, classDef: CodeNode): void;
@@ -1174,14 +1229,14 @@ export declare class RangerAppWriterContext {
     addOpNs(n: string): void;
     removeOpNs(n: string): void;
     inLambda(): boolean;
-    variableTypeUsage(): Promise<Array<string>>;
-    writeContextVars(wr: CodeWriter): Promise<void>;
-    writeContextInfo(wr: CodeWriter): Promise<void>;
-    getContextInfo(): Promise<string>;
+    variableTypeUsage(): Array<string>;
+    writeContextVars(wr: CodeWriter): void;
+    writeContextInfo(wr: CodeWriter): void;
+    getContextInfo(): string;
     isCapturing(): boolean;
     forkWithOps(opNode: CodeNode): RangerAppWriterContext;
     getOperatorDef(): RangerActiveOperators;
-    getOperators(name: string): Promise<Array<CodeNode>>;
+    getOperators(name: string): Array<CodeNode>;
     isLocalToCapture(name: string): boolean;
     addCapturedVariable(name: string): void;
     getCapturedVariables(): Array<string>;
@@ -1199,14 +1254,19 @@ export declare class RangerAppWriterContext {
     hadValidType(node: CodeNode): boolean;
     findOperator(node: CodeNode): CodeNode;
     getStdCommands(): CodeNode;
-    findOperatorsWithName(name: string): Promise<Array<CodeNode>>;
+    findOperatorsWithName(name: string): Array<CodeNode>;
     findClassWithSign(node: CodeNode): RangerAppClassDesc;
     createSignature(origClass: string, classSig: string): string;
-    createStaticMethod(withName: string, currC: RangerAppClassDesc, nameNode: CodeNode, argsNode: CodeNode, fnBody: CodeNode, parser: RangerFlowParser, wr: CodeWriter): Promise<RangerAppFunctionDesc>;
+    createStaticMethod(withName: string, currC: RangerAppClassDesc, nameNode: CodeNode, argsNode: CodeNode, fnBody: CodeNode, parser: RangerFlowParser, wr: CodeWriter): RangerAppFunctionDesc;
     canUseTypeInference(nameNode: CodeNode): boolean;
     createOpStaticClass(name: string): RangerAppClassDesc;
-    createTraitInstanceClass(traitName: string, instanceName: string, initParams: CodeNode, flowParser: RangerFlowParser, wr: CodeWriter): Promise<RangerAppClassDesc> | undefined;
-    createGenericClassInstance(templateName: string, instanceName: string, typeArgs: CodeNode, flowParser: RangerFlowParser, wr: CodeWriter): Promise<RangerAppClassDesc> | undefined;
+    createTraitInstanceClass(traitName: string, instanceName: string, initParams: CodeNode, flowParser: RangerFlowParser, wr: CodeWriter): RangerAppClassDesc | undefined;
+    createGenericClassInstance(templateName: string, instanceName: string, typeArgs: CodeNode, flowParser: RangerFlowParser, wr: CodeWriter): RangerAppClassDesc | undefined;
+    markGenericInstance(made: RangerAppClassDesc, templateName: string, typeArgs: CodeNode): void;
+    setNativeGeneric(templateName: string, isNative: boolean): void;
+    isNativeGeneric(templateName: string): boolean;
+    isNativeGenericInstance(cl: RangerAppClassDesc): boolean;
+    isWrittenClass(cl: RangerAppClassDesc): boolean;
     createOperator(fromNode: CodeNode): void;
     findClassMethod(cname: string, fname: string): RangerAppFunctionDesc | undefined;
     getFileWriter(path: string, fileName: string): CodeWriter;
@@ -1316,7 +1376,6 @@ export declare class SourceMapBuilder {
     hasMappings(): boolean;
 }
 export declare class RangerSourceFormat {
-    constructor();
     static defaultWidthFor(ext: string): number;
     static dotLeadsLine(ext: string): boolean;
     static isSpaceCode(c: number): boolean;
@@ -1432,6 +1491,9 @@ export declare class CodeWriter {
     line_end(str: string): void;
     advanceColumnForString(str: string): void;
     syncColumnFromCurrentLine(): void;
+    lineMark(): number;
+    lineMarkIsParenGroup(mark: number): boolean;
+    stripLineMarkParens(mark: number): boolean;
     writeSlice(str: string, newLine: boolean): void;
     out(str: string, newLine: boolean): void;
     raw(str: string, newLine: boolean): void;
@@ -1441,7 +1503,7 @@ export declare class CodeWriter {
 export declare class RangerLispParser {
     code?: SourceCode;
     source_text: string;
-    buff?: string;
+    buff?: Uint8Array;
     __len: number;
     i: number;
     last_line_start: number;
@@ -1460,10 +1522,11 @@ export declare class RangerLispParser {
     constructor(code_module: SourceCode);
     joo(cm: SourceCode): void;
     parse_raw_annotation(): CodeNode;
-    skip_space(s: string, is_block_parent: boolean): boolean;
+    skip_space(s: Uint8Array, is_block_parent: boolean): boolean;
+    attachParenMember(closed: CodeNode, listNode: CodeNode): void;
     end_expression(consumeCurrent: boolean): boolean;
-    getOperator(s: string, disabled: boolean): number;
-    isOperator(s: string, disabled: boolean): number;
+    getOperator(s: Uint8Array, disabled: boolean): number;
+    isOperator(s: Uint8Array, disabled: boolean): number;
     getOperatorPred(str: string, disabled: boolean): number;
     isComparisonOpPred(pred: number): boolean;
     isFoldableInfixPred(pred: number): boolean;
@@ -1478,14 +1541,13 @@ export declare class RangerLispParser {
     tryCloseCallArgParenBeforeInfix(): boolean;
     insert_node(p_node: CodeNode): void;
     attachPendingComments(node: CodeNode): void;
-    parse_attributes(s: string): boolean;
-    parseXML(s: string): void;
+    parse_attributes(s: Uint8Array): boolean;
+    parseXML(s: Uint8Array): void;
     parse(disable_ops: boolean): void;
-    parseBuf(s: string, disable_ops: boolean): void;
+    parseBuf(s: Uint8Array, disable_ops: boolean): void;
     static normalizeLineEndings(src: string): string;
 }
 export declare class TTypes {
-    constructor();
     static nameToValue(name: string): number;
     static isPrimitive(valueType: number): boolean;
     static valueAsString(valueType: number): string;
@@ -1530,7 +1592,7 @@ export declare class DictNode {
     is_property: boolean;
     is_property_value: boolean;
     vref: string;
-    value_type: number;
+    value_type: DictNodeType;
     double_value: number;
     int_value: number;
     string_value: string;
@@ -1567,7 +1629,6 @@ export declare class DictNode {
     static createEmptyObject(): DictNode;
 }
 export declare class RangerSerializeClass {
-    constructor();
     isSerializedClass(cName: string, ctx: RangerAppWriterContext): boolean;
     canSerializeClass(cName: string, ctx: RangerAppWriterContext): boolean;
     missesSerializeSupport(cName: string, ctx: RangerAppWriterContext): boolean;
@@ -1580,17 +1641,14 @@ export declare class RangerSerializeClass {
     createJSONSerializerFn2(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
 }
 export declare class RangerImmutableExtension {
-    constructor();
     typeDefOf(p: RangerAppParamDesc): string;
     createImmutableExtension(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
 }
 export declare class RangerProcessLifecycle {
-    constructor();
     emitInvokeMethods(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter, regName: string): void;
     emitStopSubtree(cl: RangerAppClassDesc, wr: CodeWriter, regName: string): void;
 }
 export declare class RangerProcessClass {
-    constructor();
     emitAssignProcessId(wr: CodeWriter): void;
     createProcessExtension(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter, typeId: number): void;
     emitStaticHelpers(cl: RangerAppClassDesc, typeId: number, wr: CodeWriter, regName: string): void;
@@ -1599,45 +1657,37 @@ export declare class RangerProcessClass {
     emitProcessTypeScriptHelpers(processClasses: Array<RangerAppClassDesc>, wr: CodeWriter): void;
 }
 export declare class RangerProcessProcSend {
-    constructor();
     static isReservedHandler(name: string): boolean;
     static collectProcessClasses(ctx: RangerAppWriterContext): Array<RangerAppClassDesc>;
     static findClassByPath(pathLit: string, processClasses: Array<RangerAppClassDesc>): RangerAppClassDesc | undefined;
-    static resolveTargetClass(parser: RangerFlowParser, target: CodeNode, processClasses: Array<RangerAppClassDesc>, ctx: RangerAppWriterContext, wr: CodeWriter, errNode: CodeNode): Promise<RangerAppClassDesc> | undefined;
-    static matchHandler(parser: RangerFlowParser, recvClass: RangerAppClassDesc, methodName: string, argNodes: Array<CodeNode>, ctx: RangerAppWriterContext, wr: CodeWriter, errNode: CodeNode): Promise<RangerAppFunctionDesc> | undefined;
+    static resolveTargetClass(parser: RangerFlowParser, target: CodeNode, processClasses: Array<RangerAppClassDesc>, ctx: RangerAppWriterContext, wr: CodeWriter, errNode: CodeNode): RangerAppClassDesc | undefined;
+    static matchHandler(parser: RangerFlowParser, recvClass: RangerAppClassDesc, methodName: string, argNodes: Array<CodeNode>, ctx: RangerAppWriterContext, wr: CodeWriter, errNode: CodeNode): RangerAppFunctionDesc | undefined;
     static buildLiveGuard(targetVref: string): CodeNode;
     static buildHandlerCall(targetVref: string, handlerName: string, argNodes: Array<CodeNode>): CodeNode;
     static buildFindRootExpr(targetVref: string): CodeNode;
     static buildDispatchTurnBoundary(opName: string, rootExpr: CodeNode): CodeNode;
-    static transform(parser: RangerFlowParser, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
+    static transform(parser: RangerFlowParser, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
 }
 export declare class RangerProcessProcStartCheck {
-    constructor();
-    static validate(parser: RangerFlowParser, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
+    static validate(parser: RangerFlowParser, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
 }
 export declare class RangerProcessCodegen {
-    constructor();
     validateProcessNewSite(node: CodeNode, newCl: RangerAppClassDesc, ctx: RangerAppWriterContext): void;
     shouldWrapProcessNew(procNewNode: CodeNode, procNewCtx: RangerAppWriterContext): boolean;
     hasParentRegister(procNewCtx: RangerAppWriterContext): boolean;
-    writeNewArgs(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter, writer: RangerGenericClassWriter): Promise<void>;
+    writeNewArgs(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter, writer: RangerGenericClassWriter): void;
     writeProcessInstanceRegisterCall(wr: CodeWriter, lang: string): void;
     shouldUseProcessInstanceRegister(procNewCtx: RangerAppWriterContext, newCl: RangerAppClassDesc): boolean;
     writeRegisterCall(procNewCtx: RangerAppWriterContext, wr: CodeWriter, lang: string, newCl: RangerAppClassDesc): void;
-    writeWrappedNewCallEs6(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter, writer: RangerGenericClassWriter): Promise<void>;
-    writeWrappedNewCallKotlin(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter, writer: RangerGenericClassWriter): Promise<void>;
-    writeWrappedNewCallSwift6(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter, writer: RangerGenericClassWriter): Promise<void>;
-    writeWrappedNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter, lang: string, writer: RangerGenericClassWriter): Promise<void>;
+    writeWrappedNewCallEs6(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter, writer: RangerGenericClassWriter): void;
+    writeWrappedNewCallKotlin(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter, writer: RangerGenericClassWriter): void;
+    writeWrappedNewCallSwift6(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter, writer: RangerGenericClassWriter): void;
+    writeWrappedNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter, lang: string, writer: RangerGenericClassWriter): void;
     static isNamedProcess(cl: RangerAppClassDesc): boolean;
     static isInProcessInstanceMethod(ctx: RangerAppWriterContext): boolean;
     static isBootstrapSite(ctx: RangerAppWriterContext): boolean;
     static isInsideNamedProcessMethod(ctx: RangerAppWriterContext): boolean;
 }
-export declare class RangerServiceBuilder {
-    constructor();
-    createOpStaticClass(ctx: RangerAppWriterContext, name: string): RangerAppClassDesc;
-    CreateServices(parser: RangerFlowParser, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
-}
 export declare class RangerAppOperatorDesc extends RangerAppParamDesc {
     name: string;
     ref_cnt: number;
@@ -1651,7 +1701,6 @@ export declare class RangerAppOperatorDesc extends RangerAppParamDesc {
     isProperty(): boolean;
 }
 export declare class TFiles {
-    constructor();
     static searchEnv(env: InputEnv, paths: Array<string>, fileName: string): string;
     static search(paths: Array<string>, fileName: string): string;
 }
@@ -1685,7 +1734,6 @@ export declare class PkgJRead {
     static strOf(obj: PkgJVal, key: string): string;
 }
 export declare class PkgImport {
-    constructor();
     static isPkg(spec: string): boolean;
     static stripDot(spec: string): string;
     static cacheRoot(): string;
@@ -1695,11 +1743,11 @@ export declare class PkgImport {
     static parentDir(dir: string): string;
     static findManifestDir(env: InputEnv, start: string, paths: Array<string>): string;
     static walkUp(env: InputEnv, start: string): string;
-    static readText(env: InputEnv, dir: string, name: string): Promise<string>;
+    static readText(env: InputEnv, dir: string, name: string): string;
     static findChar(s: string, code: number): number;
     static manifestChain(env: InputEnv, startDir: string, libraryPaths: Array<string>): Array<string>;
-    static resolve(env: InputEnv, startDir: string, spec: string, libraryPaths: Array<string>): Promise<PkgHit>;
-    static resolveIn(env: InputEnv, manDir: string, spec: string): Promise<PkgHit>;
+    static resolve(env: InputEnv, startDir: string, spec: string, libraryPaths: Array<string>): PkgHit;
+    static resolveIn(env: InputEnv, manDir: string, spec: string): PkgHit;
     static lockRoot(env: InputEnv, lockText: string, pkgName: string, manDir: string): string;
 }
 export declare class ClassJoinPoint {
@@ -1792,6 +1840,7 @@ export declare class RangerFlowParser {
     lastProcessedNode?: CodeNode;
     collectWalkAtEnd: Array<CodeNode>;
     walkAlso: Array<CodeNode>;
+    genericCheckNodes: Array<CodeNode>;
     serializedClasses: Array<RangerAppClassDesc>;
     immutableClasses: Array<RangerAppClassDesc>;
     processClasses: Array<RangerAppClassDesc>;
@@ -1820,90 +1869,92 @@ export declare class RangerFlowParser {
     };
     constructor();
     fixExpressionAssignmentChains(node: CodeNode): void;
-    WalkNodeChildren(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    WalkNode(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
+    hoistParenthesisedReceivers(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    WalkNodeChildren(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    WalkNode(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
     getVoidNameSignature(): string;
     getNameSignature(node: CodeNode): string;
     getArgsSignature(node: CodeNode): string;
     getThisName(): string;
-    GetProperty(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    EnterFnParts(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<RangerFnParts>;
-    Constructor(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    GetProperty(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    EnterFnParts(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): RangerFnParts;
+    Constructor(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     WriteScalarValue(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     normalizeNewArgList(node: CodeNode): void;
-    cmdNew(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    cmdNew(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     transformParams(list: Array<CodeNode>, fnArgs: Array<RangerAppParamDesc>, ctx: RangerAppWriterContext): Array<CodeNode>;
     transformParams2(list: Array<CodeNode>, fnArgs: Array<CodeNode>, ctx: RangerAppWriterContext): Array<CodeNode>;
-    CreateCTTI(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
-    CreateRTTI(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
-    walkXmlCreate(xmlNode: CodeNode, regName: string, in_currCnt: number, opBody: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<number>;
-    markAsyncFrom(f: RangerAppFunctionDesc, visited: Array<RangerAppFunctionDesc>): Promise<void>;
-    markAsyncFromVariant(f: RangerAppFunctionDesc, visited: Array<RangerAppFunctionDesc>, ctx: RangerAppWriterContext): Promise<void>;
-    markCalledFromMain(f: RangerAppFunctionDesc, ctx: RangerAppWriterContext): Promise<void>;
-    SolveAsyncFuncs(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    matchMethodCall(cl: RangerAppClassDesc, methodName: string, callArgs: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter, errNode: CodeNode): Promise<RangerAppFunctionDesc> | undefined;
-    cmdCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
-    matchLambdaArgs(n1: CodeNode, n2: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
-    testLambdaCallArgs(lambda_expression: CodeNode, callParams: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
-    cmdLocalCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
+    CreateCTTI(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    CreateRTTI(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    walkXmlCreate(xmlNode: CodeNode, regName: string, in_currCnt: number, opBody: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): number;
+    markAsyncFrom(f: RangerAppFunctionDesc, visited: Array<RangerAppFunctionDesc>): void;
+    markAsyncFromVariant(f: RangerAppFunctionDesc, visited: Array<RangerAppFunctionDesc>, ctx: RangerAppWriterContext): void;
+    markCalledFromMain(f: RangerAppFunctionDesc, ctx: RangerAppWriterContext): void;
+    SolveAsyncFuncs(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    matchMethodCall(cl: RangerAppClassDesc, methodName: string, callArgs: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter, errNode: CodeNode): RangerAppFunctionDesc | undefined;
+    cmdCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
+    matchLambdaArgs(n1: CodeNode, n2: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
+    testLambdaCallArgs(lambda_expression: CodeNode, callParams: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
+    cmdLocalCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
     transformImmutableAssigment(node: CodeNode): CodeNode;
-    transformDotMethodCallExpr(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
+    transformDotMethodCallExpr(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
     repairUnaryMinusExpr(node: CodeNode): void;
     repairAssignUnaryMinusRhs(node: CodeNode): void;
     repairAssignMethodCallRhs(node: CodeNode): void;
     checkInitializedObjectReceiver(receiverName: string, node: CodeNode, ctx: RangerAppWriterContext): void;
-    cmdAssign(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    cmdAssign(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     EnterTemplateClass(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    EnterClass(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    walkFunctionBody(m: RangerAppFunctionDesc, fnBody: CodeNode, ctx: RangerAppWriterContext, subCtx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    EnterMethod(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    EnterStaticMethod(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    DefineArrowOpFn(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    EnterClass(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    walkFunctionBody(m: RangerAppFunctionDesc, fnBody: CodeNode, ctx: RangerAppWriterContext, subCtx: RangerAppWriterContext, wr: CodeWriter): void;
+    EnterMethod(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    EnterStaticMethod(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    DefineArrowOpFn(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     DefineOpFn(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    testCompile(opFn: CodeNode, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<{
+    testCompile(opFn: CodeNode, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): {
         [key: string]: CodeNode;
-    }>;
-    inlineStaticEligible(m: RangerAppFunctionDesc, fnNode: CodeNode, ctx: RangerAppWriterContext): Promise<boolean>;
-    tryInlineTrivialStatic(node: CodeNode, fnNode: CodeNode, m: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
-    TransformOpFn(opFnList: Array<CodeNode>, origNode: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    cmdArray(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    EnterLambdaMethod(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    };
+    inlineStaticEligible(m: RangerAppFunctionDesc, fnNode: CodeNode, ctx: RangerAppWriterContext): boolean;
+    tryInlineTrivialStatic(node: CodeNode, fnNode: CodeNode, m: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
+    TransformOpFn(opFnList: Array<CodeNode>, origNode: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    cmdArray(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    EnterLambdaMethod(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     annotationIsTypeArgs(tAnn: CodeNode, ctx: RangerAppWriterContext): boolean;
     normalizeTypeArg(ch: CodeNode): void;
-    genericInstanceName(baseName: string, tAnn: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<string>;
+    genericInstanceName(baseName: string, tAnn: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): string;
+    nativeGenericsTarget(ctx: RangerAppWriterContext): boolean;
+    genericOpaqueOperator(name: string, ctx: RangerAppWriterContext): boolean;
+    genericFormFitsTarget(form: RangerAppClassDesc, ctx: RangerAppWriterContext): boolean;
+    genericUsesOptionalParam(node: CodeNode): boolean;
+    genericTypeIsPlaceholder(n: CodeNode): boolean;
+    genericBodyIsOpaque(node: CodeNode, ctx: RangerAppWriterContext): boolean;
+    makeGenericPlaceholder(templateName: string, paramName: string, ctx: RangerAppWriterContext, wr: CodeWriter): string;
+    genericArgsFitTarget(templateName: string, ctx: RangerAppWriterContext): boolean;
+    checkNativeGenerics(ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    checkGenericForm(tpl: string, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
     typeArgKey(spelling: string): string;
-    CheckVRefTypeAnnotationOf(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
-    CheckTypeAnnotationOf(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
-    matchNode(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
-    StartWalk(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    clearImports(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    registerLangSystemClasses(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    walkLangDefinitions(node: CodeNode, ctx: RangerAppWriterContext): void;
-    registerSystemClassFromNode(node: CodeNode, ctx: RangerAppWriterContext): void;
-    registerSystemUnionFromNode(node: CodeNode, ctx: RangerAppWriterContext): void;
-    finalizeRecordClasses(ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    expandRecordCtorArgsIfNeeded(cl: RangerAppClassDesc, fnDescr: RangerAppFunctionDesc, params: CodeNode, node: CodeNode): void;
-    buildRecordConstructor(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    prepareImport(ctx: RangerAppWriterContext, spec: string): Promise<PkgHit>;
-    mergeImports(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    DesugarTrees(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    reportStrayTrees(node: CodeNode, ctx: RangerAppWriterContext): void;
-    isTreeFactoryDeclaration(node: CodeNode): boolean;
-    collectTreeFactories(node: CodeNode, atTopLevel: boolean, ctx: RangerAppWriterContext): void;
-    registerTreeFactory(node: CodeNode, ctx: RangerAppWriterContext): void;
-    isTreeLiteral(node: CodeNode): boolean;
-    expandTreesIn(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    expandTreesInBlock(block: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    lowerTreesIn(node: CodeNode, prelude: Array<CodeNode>, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    rewriteAsVRef(node: CodeNode, name: string): void;
-    lowerTreeElement(el: CodeNode, fname: string, prelude: Array<CodeNode>, ctx: RangerAppWriterContext, wr: CodeWriter): string;
-    isTreeKeyword(node: CodeNode, word: string): boolean;
-    lowerComputedChildren(ch: CodeNode, reg: string, fname: string, prelude: Array<CodeNode>, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    treeCall(at_node: CodeNode, reg: string, method: string, arg: CodeNode): CodeNode;
-    lowerTreeProps(propsNode: CodeNode, reg: string, prelude: Array<CodeNode>, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    treeAssign(at_node: CodeNode, reg: string, field: string, value: CodeNode): CodeNode;
-    lowerTreeChild(ch: CodeNode, reg: string, fname: string, prelude: Array<CodeNode>, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CheckVRefTypeAnnotationOf(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
+    CheckTypeAnnotationOf(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
+    matchNode(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
+    StartWalk(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    isClassMemberForm(node: CodeNode): boolean;
+    markParentClass(ee: CodeNode, childName: string, ctx: RangerAppWriterContext): void;
+    isJustVref(a: CodeNode): boolean;
+    findLanguageOper(details: CodeNode, ctx: RangerAppWriterContext, opDef: CodeNode): CodeNode | undefined;
+    buildMacro(langOper: CodeNode, args: CodeNode, ctx: RangerAppWriterContext): CodeNode;
+    operandIsNonOptionalForNullCheck(node: CodeNode): boolean;
+    markNotNullName(candidate: CodeNode, ctx: RangerAppWriterContext): void;
+    markNotNullNarrowing(condition: CodeNode, ctx: RangerAppWriterContext): void;
+    collectNullNames(condition: CodeNode, out: Array<string>): void;
+    collectPresentNames(condition: CodeNode, ctx: RangerAppWriterContext, out: Array<string>): void;
+    blockAlwaysExits(block: CodeNode): boolean;
+    narrowAfterIf(callArgs: CodeNode, inCtx: RangerAppWriterContext): void;
+    stdParamMatch(callArgs: CodeNode, inCtx: RangerAppWriterContext, wr: CodeWriter, require_all_match: boolean): boolean;
+    readProcessPathFromClassTree(root: CodeNode): string;
+    applyProcessClassMeta(cl: RangerAppClassDesc, classNameNode: CodeNode, node: CodeNode, ctx: RangerAppWriterContext): void;
+    resolveProcessPathFromFields(cl: RangerAppClassDesc): void;
+    validateProcessPaths(processClasses: Array<RangerAppClassDesc>, ctx: RangerAppWriterContext): void;
+    isValidProcessPath(pathStr: string): boolean;
     DesugarShapes(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     isShapeDeclaration(node: CodeNode): boolean;
     expandShapesIn(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter, renames: {
@@ -1931,8 +1982,8 @@ export declare class RangerFlowParser {
     shapeTypeSpelling(typeName: string, arrayType: string, keyType: string): string;
     shapeGroupHasField(groupCls: string, fieldName: string): boolean;
     buildGroupFieldAccessorSrc(shapeName: string, gn: string, gClsName: string, mems: Array<string>, fieldNames: Array<string>, allowSet: boolean): string;
-    rewriteToGroupFieldGet(node: CodeNode, receiver: CodeNode, fieldName: string, groupCls: string, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    rewriteToGroupWiden(node: CodeNode, targetGroupCls: string, sourceGroupCls: string, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    rewriteToGroupFieldGet(node: CodeNode, receiver: CodeNode, fieldName: string, groupCls: string, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rewriteToGroupWiden(node: CodeNode, targetGroupCls: string, sourceGroupCls: string, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     expandShape(shapeNode: CodeNode, parent: CodeNode, shapeIndex: number, ctx: RangerAppWriterContext, wr: CodeWriter, renames: {
         [key: string]: string;
     }): void;
@@ -1949,38 +2000,65 @@ export declare class RangerFlowParser {
     rewriteShapeRefs(node: CodeNode, renames: {
         [key: string]: string;
     }): void;
-    isClassMemberForm(node: CodeNode): boolean;
-    markParentClass(ee: CodeNode, childName: string, ctx: RangerAppWriterContext): void;
     WalkCollectTemplates(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     isDocumentableHead(name: string): boolean;
     DetachDocBlocks(node: CodeNode, ctx: RangerAppWriterContext): void;
-    CollectMethods(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    defineFunctionParam(method: RangerAppFunctionDesc, arg: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    CheckTargetSupport(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CheckNoLossyTry(node: CodeNode, ctx: RangerAppWriterContext, allowed: boolean): void;
+    CollectMethods(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    defineFunctionParam(method: RangerAppFunctionDesc, arg: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     spliceFunctionBody(startIndex: number, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): CodeNode;
-    CreateFunctionObject(orig_node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<RangerAppFunctionDesc>;
-    WalkCollectMethods(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    CreateFunctionObject(orig_node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): RangerAppFunctionDesc;
+    WalkCollectMethods(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     varShadowsSystemType(strname: string, ctx: RangerAppWriterContext): boolean;
     findFunctionDesc(obj: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): RangerAppFunctionDesc | undefined;
+    isConstructorAssignedField(field: RangerAppParamDesc, obj: CodeNode, ctx: RangerAppWriterContext): boolean;
+    isNarrowedOptionalRead(n: CodeNode, ctx: RangerAppWriterContext): boolean;
+    optionalPathIsWrapped(n: CodeNode, ctx: RangerAppWriterContext): boolean;
+    isOptionalPath(n: CodeNode, ctx: RangerAppWriterContext): boolean;
+    isConstructorAssignedRead(n: CodeNode, ctx: RangerAppWriterContext): boolean;
     findParamDesc(obj: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): RangerAppParamDesc | undefined;
-    convertToUnion(unionName: string, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    transformMethodToLambda(node: CodeNode, vFnDef: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    areEqualTypes(n1: CodeNode, n2: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
+    convertToUnion(unionName: string, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    transformMethodToLambda(node: CodeNode, vFnDef: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    areEqualTypes(n1: CodeNode, n2: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
     shouldBeEqualTypes(n1: CodeNode, n2: CodeNode, ctx: RangerAppWriterContext, msg: string): void;
     shouldBeExpression(n1: CodeNode, ctx: RangerAppWriterContext, msg: string): void;
     shouldHaveChildCnt(cnt: number, n1: CodeNode, ctx: RangerAppWriterContext, msg: string): void;
-    readProcessPathFromClassTree(root: CodeNode): string;
-    applyProcessClassMeta(cl: RangerAppClassDesc, classNameNode: CodeNode, node: CodeNode, ctx: RangerAppWriterContext): void;
-    resolveProcessPathFromFields(cl: RangerAppClassDesc): void;
-    validateProcessPaths(processClasses: Array<RangerAppClassDesc>, ctx: RangerAppWriterContext): void;
-    isValidProcessPath(pathStr: string): boolean;
-    isJustVref(a: CodeNode): boolean;
-    findLanguageOper(details: CodeNode, ctx: RangerAppWriterContext, opDef: CodeNode): Promise<CodeNode> | undefined;
-    buildMacro(langOper: CodeNode, args: CodeNode, ctx: RangerAppWriterContext): Promise<CodeNode>;
-    operandIsNonOptionalForNullCheck(node: CodeNode): boolean;
-    stdParamMatch(callArgs: CodeNode, inCtx: RangerAppWriterContext, wr: CodeWriter, require_all_match: boolean): Promise<boolean>;
+    DesugarTrees(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    reportStrayTrees(node: CodeNode, ctx: RangerAppWriterContext): void;
+    isTreeFactoryDeclaration(node: CodeNode): boolean;
+    collectTreeFactories(node: CodeNode, atTopLevel: boolean, ctx: RangerAppWriterContext): void;
+    registerTreeFactory(node: CodeNode, ctx: RangerAppWriterContext): void;
+    isTreeLiteral(node: CodeNode): boolean;
+    expandTreesIn(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    expandTreesInBlock(block: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    lowerTreesIn(node: CodeNode, prelude: Array<CodeNode>, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rewriteAsVRef(node: CodeNode, name: string): void;
+    lowerTreeElement(el: CodeNode, fname: string, prelude: Array<CodeNode>, ctx: RangerAppWriterContext, wr: CodeWriter): string;
+    isTreeKeyword(node: CodeNode, word: string): boolean;
+    lowerComputedChildren(ch: CodeNode, reg: string, fname: string, prelude: Array<CodeNode>, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    treeCall(at_node: CodeNode, reg: string, method: string, arg: CodeNode): CodeNode;
+    lowerTreeProps(propsNode: CodeNode, reg: string, prelude: Array<CodeNode>, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    treeAssign(at_node: CodeNode, reg: string, field: string, value: CodeNode): CodeNode;
+    lowerTreeChild(ch: CodeNode, reg: string, fname: string, prelude: Array<CodeNode>, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    clearImports(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    registerLangSystemClasses(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    walkLangDefinitions(node: CodeNode, ctx: RangerAppWriterContext): void;
+    registerSystemClassFromNode(node: CodeNode, ctx: RangerAppWriterContext): void;
+    registerSystemUnionFromNode(node: CodeNode, ctx: RangerAppWriterContext): void;
+    finalizeRecordClasses(ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    expandRecordCtorArgsIfNeeded(cl: RangerAppClassDesc, fnDescr: RangerAppFunctionDesc, params: CodeNode, node: CodeNode): void;
+    buildRecordConstructor(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    prepareImport(ctx: RangerAppWriterContext, spec: string): PkgHit;
+    mergeImports(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+}
+export declare class ModuleFunctions {
+    static moduleClassName(fileName: string): string;
+    static isTopLevelFunction(ch: CodeNode): boolean;
+    static hoist(root: CodeNode, fileName: string, ctx: RangerAppWriterContext): void;
+    static resolve(name: string, fileName: string, ctx: RangerAppWriterContext): string;
 }
 export declare class TFactory {
-    constructor();
     static new_class_signature(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): RangerTypeClass;
     static new_lambda_signature(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): RangerTypeClass;
     static new_def_signature_from_simple_string(sig: string, ctx: RangerAppWriterContext, wr: CodeWriter): RangerTypeClass;
@@ -2026,6 +2104,10 @@ export declare class RangerGenericClassWriter {
         [key: string]: boolean;
     };
     fmtMode: number;
+    unionIfaces: {
+        [key: string]: Array<string>;
+    };
+    unionIfacesBuilt: boolean;
     constructor();
     bindingPowerOf(opName: string): number;
     operandNeedsParens(childBp: number, parentBp: number): boolean;
@@ -2035,7 +2117,7 @@ export declare class RangerGenericClassWriter {
     isPostfixExpression(s: string): boolean;
     isWrappedInParens(s: string): boolean;
     receiverNeedsParens(s: string): boolean;
-    writeCallReceiver(obj: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeCallReceiver(obj: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     unionIsSealable(ucl: RangerAppClassDesc, ctx: RangerAppWriterContext): boolean;
     unionInterfaceName(unionName: string): string;
     sealableUnionNames(ctx: RangerAppWriterContext): Array<string>;
@@ -2044,13 +2126,13 @@ export declare class RangerGenericClassWriter {
     sealableUnionTypeOr(unionName: string, topType: string, ctx: RangerAppWriterContext): string;
     lineEnding(): string;
     opWritesOwnParens(opName: string, node: CodeNode, ctx: RangerAppWriterContext): boolean;
-    addSystemImport(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    addSystemImport(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     EncodeString(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): string;
-    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    beforeOperatorStatement(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    WriteSetterVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    beforeOperatorStatement(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    WriteSetterVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     writeArrayTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    WriteEnum(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    WriteEnum(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     doubleNeedsPointZero(dd_str: string): boolean;
     WriteScalarValue(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     getTypeString(type_string: string): string;
@@ -2058,40 +2140,72 @@ export declare class RangerGenericClassWriter {
     import_lib(lib_name: string, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     getObjectTypeString(type_string: string, ctx: RangerAppWriterContext): string;
     release_local_vars(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    renderDocExample(fd: RangerAppFunctionDesc, ctx: RangerAppWriterContext, outer: CodeWriter): Promise<string>;
+    renderDocExample(fd: RangerAppFunctionDesc, ctx: RangerAppWriterContext, outer: CodeWriter): string;
     trimTrailingBlank(text: string): string;
-    WalkNode(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeRawTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    WalkNode(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeRawTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     adjustType(tn: string): string;
     defValueHasSideEffects(value: CodeNode): boolean;
-    writeSideEffectOnlyStmt(value: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateMethodCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreatePropertyGet(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeSideEffectOnlyStmt(value: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateMethodCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreatePropertyGet(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     isPackaged(ctx: RangerAppWriterContext): boolean;
-    CreateUnions(parser: RangerFlowParser, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
-    CreateServices(parser: RangerFlowParser, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
-    CreatePages(parser: RangerFlowParser, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
-    CreatePage(parser: RangerFlowParser, node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
-    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    walkNewArgForProcess(n: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    tryWriteProcessNewCall(procNewNode: CodeNode, procNewCtx: RangerAppWriterContext, outWr: CodeWriter): Promise<boolean>;
-    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeInterface(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    disabledVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeClass(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-}
-export declare class AndroidPageWriter {
-    classWriter?: RangerGenericClassWriter;
+    CreateUnions(parser: RangerFlowParser, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    CreateServices(parser: RangerFlowParser, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    walkNewArgForProcess(n: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    tryWriteProcessNewCall(procNewNode: CodeNode, procNewCtx: RangerAppWriterContext, outWr: CodeWriter): boolean;
+    genericClassRef(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): string;
+    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeInterface(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    disabledVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeClass(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+}
+export declare class TraitInterfaceAnalysis {
+    ifaceTraits: {
+        [key: string]: boolean;
+    };
+    computed: boolean;
+    constructor();
+    nodeNamesType(node: CodeNode, tName: string): boolean;
+    fnsNameType(fns: Array<RangerAppFunctionDesc>, tName: string): boolean;
+    compute(ctx: RangerAppWriterContext): void;
+    isInterface(tName: string, ctx: RangerAppWriterContext): boolean;
+    basesOf(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): Array<string>;
+}
+export declare class ForLoopShape {
+    treeMentions(node: CodeNode, name: string): boolean;
+    bodyTouchesCollection(body: CodeNode, coll: CodeNode): boolean;
+    bodyReadsIndex(node: CodeNode): boolean;
+    canIterate(node: CodeNode): boolean;
+    canIterateWithIndex(node: CodeNode): boolean;
+    bodyAssignsElement(node: CodeNode): boolean;
+}
+export declare class EnumNativeAnalysis {
+    nativeEnums: {
+        [key: string]: boolean;
+    };
+    computed: boolean;
+    targetName: string;
+    fallbackType: string;
     constructor();
-    BuildAST(code_string: string): CodeNode;
-    CreatePage(parser: RangerFlowParser, node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
+    nodeIsEnumOf(node: CodeNode, enumName: string, ctx: RangerAppWriterContext): boolean;
+    enumNameOf(node: CodeNode, ctx: RangerAppWriterContext): string;
+    collectCaseEnums(node: CodeNode, found: {
+        [key: string]: boolean;
+    }): void;
+    operandIsSafe(headVref: string): boolean;
+    unsafeReason(node: CodeNode, enumName: string, ctx: RangerAppWriterContext): string;
+    compute(ctx: RangerAppWriterContext): void;
+    scanFns(fns: Array<RangerAppFunctionDesc>, enumName: string, ctx: RangerAppWriterContext, reasonIn: string): string;
+    isNative(enumName: string, ctx: RangerAppWriterContext): boolean;
 }
 export declare class RangerJava7ClassWriter extends RangerGenericClassWriter {
     compiler?: LiveCompiler;
@@ -2102,98 +2216,147 @@ export declare class RangerJava7ClassWriter extends RangerGenericClassWriter {
     iface_created: {
         [key: string]: boolean;
     };
+    javaTraits: TraitInterfaceAnalysis;
+    javaLoops: ForLoopShape;
+    java_traits_written: boolean;
+    javaEnums: EnumNativeAnalysis;
+    java_enums_written: boolean;
+    java_json_written: boolean;
+    java_args_written: boolean;
     constructor();
     getSignatureInterface(s: string): string;
     adjustType(tn: string): string;
-    getObjectTypeString2(type_string: string, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<string>;
+    javaEnumIsNative(enumName: string, ctx: RangerAppWriterContext): boolean;
+    writeJavaNativeEnums(ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeJavaTraitInterfaces(ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    javaProgramUsesJson(ctx: RangerAppWriterContext): boolean;
+    writeJavaArgsHolder(ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeJavaJsonSupport(ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    javaClassRef(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): string;
+    genericClassRef(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): string;
+    javaDeclName(cl: RangerAppClassDesc): string;
+    getObjectTypeString2(type_string: string, ctx: RangerAppWriterContext, wr: CodeWriter): string;
     getTypeString(type_string: string): string;
-    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    disabledVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    disabledVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    javaWriteOperand(arg: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    javaWriteForLoop(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     buildLambdaSignature(node: CodeNode): string;
-    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     getCounters(ctx: RangerAppWriterContext): TypeCounts;
-    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
-    CreateServices(parser: RangerFlowParser, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
-    CreatePages(parser: RangerFlowParser, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
-    CreatePage(parser: RangerFlowParser, node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
+    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    CreateServices(parser: RangerFlowParser, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
 }
 export declare class RangerSwift3ClassWriter extends RangerGenericClassWriter {
     compiler?: LiveCompiler;
     header_created: boolean;
+    sw3Enums: EnumNativeAnalysis;
+    swift3_enums_written: boolean;
     swift_unions_written: boolean;
     constructor();
+    sw3EnumIsNative(enumName: string, ctx: RangerAppWriterContext): boolean;
+    writeSwiftNativeEnums(ctx: RangerAppWriterContext, wr: CodeWriter): void;
     writeSwiftUnionEnums(ctx: RangerAppWriterContext, wr: CodeWriter): void;
     swiftDeclaredClassOf(nVal: CodeNode): string;
     swiftUnionHasMember(ucl: RangerAppClassDesc, memberName: string): boolean;
-    swiftWriteUnionValue(targetTypeName: string, nVal: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
-    swiftWriteUnionArg(arg: RangerAppParamDesc, nVal: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
+    swiftWriteUnionValue(targetTypeName: string, nVal: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
+    swiftWriteUnionArg(arg: RangerAppParamDesc, nVal: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
     adjustType(tn: string): string;
     getObjectTypeString(type_string: string, ctx: RangerAppWriterContext): string;
     getTypeString(type_string: string): string;
-    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    WriteEnum(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArgsDefWithLocals(fnDesc: RangerAppFunctionDesc, localFnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    WriteEnum(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArgsDefWithLocals(fnDesc: RangerAppFunctionDesc, localFnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     haveSameSig(fn1: RangerAppFunctionDesc, fn2: RangerAppFunctionDesc, ctx: RangerAppWriterContext): boolean;
-    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeClass(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeClass(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
 }
 export declare class RangerSwift6ClassWriter extends RangerGenericClassWriter {
     compiler?: LiveCompiler;
     header_created: boolean;
     swift_unions_written: boolean;
+    swiftTraits: TraitInterfaceAnalysis;
+    swiftLoopLoops: ForLoopShape;
+    swift_traits_written: boolean;
+    swEnums: EnumNativeAnalysis;
+    swift_enums_written: boolean;
     constructor();
+    swiftThrowsMark(variant: RangerAppFunctionDesc): string;
     adjustType(tn: string): string;
     isSwiftValueTypeOf(t: number): boolean;
     isSwiftValueCollection(nn: CodeNode): boolean;
     isSwiftValueType(nn: CodeNode): boolean;
     paramNeedsLocalCopy(arg: RangerAppParamDesc): boolean;
-    swiftWriteMutableParamCopies(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    swiftWriteMutableParamCopies(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     paramNeedsInout(arg: RangerAppParamDesc): boolean;
+    swEnumIsNative(enumName: string, ctx: RangerAppWriterContext): boolean;
+    writeSwiftNativeEnums(ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeSwiftTraitProtocols(ctx: RangerAppWriterContext, wr: CodeWriter): void;
     writeSwiftUnionEnums(ctx: RangerAppWriterContext, wr: CodeWriter): void;
     swiftDeclaredClassOf(nVal: CodeNode): string;
     swiftUnionHasMember(ucl: RangerAppClassDesc, memberName: string): boolean;
-    swiftWriteUnionValue(targetTypeName: string, nVal: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
-    swiftWriteUnionArg(arg: RangerAppParamDesc, nVal: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
+    swiftWriteUnionValue(targetTypeName: string, nVal: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
+    swiftWriteUnionArg(arg: RangerAppParamDesc, nVal: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
     getObjectTypeString(type_string: string, ctx: RangerAppWriterContext): string;
     collectionTypeStringToSwift(type_string: string, ctx: RangerAppWriterContext): string;
     getTypeString(type_string: string): string;
-    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    WriteEnum(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArgsDefWithLocals(fnDesc: RangerAppFunctionDesc, localFnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    WriteEnum(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArgsDefWithLocals(fnDesc: RangerAppFunctionDesc, localFnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     resolveCallReceiverClassName(obj: CodeNode, ctx: RangerAppWriterContext): string;
     isSimpleClassCallReceiver(obj: CodeNode, ctx: RangerAppWriterContext): boolean;
     receiverIsNullable(obj: CodeNode): boolean;
     callResultIsDiscarded(node: CodeNode, ctx: RangerAppWriterContext): boolean;
-    writeSideEffectOnlyStmt(value: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeSideEffectOnlyStmt(value: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     haveSameSig(fn1: RangerAppFunctionDesc, fn2: RangerAppFunctionDesc, ctx: RangerAppWriterContext): boolean;
-    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeClass(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    swiftLoopWriteOperand(arg: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    swiftLoopWriteBinding(arg: CodeNode, body: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    swiftLoopWriteForLoop(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeClass(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     resolveMethodFnDesc(methodNode: CodeNode, ctx: RangerAppWriterContext): RangerAppFunctionDesc | undefined;
-    CreateMethodCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    CreateMethodCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+}
+export declare class CppValueClassAnalysis {
+    valueClasses: {
+        [key: string]: boolean;
+    };
+    computed: boolean;
+    constructor();
+    nodeIsClassOf(node: CodeNode, className: string): boolean;
+    optionalOf(node: CodeNode, className: string): boolean;
+    unsafeReason(node: CodeNode, className: string, ctx: RangerAppWriterContext): string;
+    scanFns(fns: Array<RangerAppFunctionDesc>, className: string, ownName: string, ctx: RangerAppWriterContext, reasonIn: string): string;
+    mentionsBareThis(node: CodeNode): boolean;
+    fieldReason(cl: RangerAppClassDesc, className: string): string;
+    classReason(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): string;
+    compute(ctx: RangerAppWriterContext): void;
+    fieldOfOtherReason(ocl: RangerAppClassDesc, className: string): string;
+    isValue(className: string, ctx: RangerAppWriterContext): boolean;
 }
 export declare class RangerCppClassWriter extends RangerGenericClassWriter {
     compiler?: LiveCompiler;
@@ -2201,9 +2364,19 @@ export declare class RangerCppClassWriter extends RangerGenericClassWriter {
     buf_ret_seen: boolean;
     buf_ret_all_safe: boolean;
     cpp_single_thread: boolean;
-    constructor();
+    cppEnums: EnumNativeAnalysis;
+    cppTraits: TraitInterfaceAnalysis;
+    cppValues: CppValueClassAnalysis;
+    cppLoops: ForLoopShape;
+    constructor();
+    cppEnumIsNative(enumName: string, ctx: RangerAppWriterContext): boolean;
+    cppTraitIsInterface(tName: string, ctx: RangerAppWriterContext): boolean;
+    cppClassIfaceBases(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): Array<string>;
+    cppIsValueClass(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): boolean;
+    writeCppTraitInterfaces(ctx: RangerAppWriterContext, wr: CodeWriter): void;
     cppPtr(inner: string): string;
     cppPtrOpen(): string;
+    cppPtrClose(): string;
     cppMakeOpen(): string;
     cppEsft(inner: string): string;
     readCppPtrFlag(ctx: RangerAppWriterContext): void;
@@ -2212,47 +2385,82 @@ export declare class RangerCppClassWriter extends RangerGenericClassWriter {
     adjustType(tn: string): string;
     escapeCppTrigraphs(s: string): string;
     WriteScalarValue(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    cppClassRef(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): string;
+    cppDeclName(cl: RangerAppClassDesc): string;
+    cppTemplatePrefix(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): string;
     getObjectTypeString(type_string: string, ctx: RangerAppWriterContext): string;
     collectionTypeStringToCpp(type_string: string, ctx: RangerAppWriterContext): string;
     cppUnionValueCase(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): boolean;
     getTypeString2(type_string: string, ctx: RangerAppWriterContext): string;
     writePtr(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    cppEmitOptionalPrimitive(wr: CodeWriter): void;
+    cppEmitArgRef(wr: CodeWriter): void;
+    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     cppMemberPathOf(node: CodeNode): string;
     cppReturnIsSafeBufferLvalue(retValue: CodeNode): boolean;
     cppScanBufferReturns(node: CodeNode): void;
     cppBufferReturnByRef(variant: RangerAppFunctionDesc, ctx: RangerAppWriterContext): boolean;
-    writeReturnTypeDef(variant: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeReturnTypeDef(variant: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     cppSegmentIsValueCase(node: CodeNode, idx: number, ctx: RangerAppWriterContext): boolean;
-    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    disabledVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    cppWriteCmpOperand(o: CodeNode, otherIsLiteral: boolean, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateMethodCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreatePropertyGet(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    cppOptionalIsWrapped(p: RangerAppParamDesc, ctx: RangerAppWriterContext): boolean;
+    cppShouldAutoUnwrap(p: RangerAppParamDesc, ctx: RangerAppWriterContext): boolean;
+    cppWriteVRefName(p: RangerAppParamDesc, node: CodeNode, index: number, wr: CodeWriter): void;
+    cppWriteVRefPath(node: CodeNode, fromIndex: number, toIndex: number, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    cppSegmentNeedsValue(p: RangerAppParamDesc, node: CodeNode, index: number, ctx: RangerAppWriterContext): boolean;
+    cppCallReceiverNeedsValue(obj: CodeNode, ctx: RangerAppWriterContext): boolean;
+    cppVRefIsAssignmentTarget(node: CodeNode): boolean;
+    cppVRefIsCallTarget(node: CodeNode): boolean;
+    cppWriteSafeOptionalTail(node: CodeNode, currentIndex: number, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    cppWriteSafeOptionalAccess(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
+    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    disabledVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    cppWriteCmpOperand(o: CodeNode, otherIsLiteral: boolean, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    cppWriteOperand(arg: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    cppForItemIsScalar(item: CodeNode): boolean;
+    cppWriteForItemType(item: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    cppWriteForLoop(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    markNotNullVar(candidate: CodeNode, ctx: RangerAppWriterContext): void;
+    markNotNullName(name: string, ctx: RangerAppWriterContext): void;
+    walkNotNulls(condition: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    cppWriteIf(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    cppWriteWhile(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateMethodCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreatePropertyGet(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     cppIsWeakField(nn: CodeNode, ctx: RangerAppWriterContext): boolean;
+    cppNodeUsesHash(node: CodeNode): boolean;
+    cppScanFnsForHash(fns: Array<RangerAppFunctionDesc>): boolean;
+    cppProgramUsesHash(ctx: RangerAppWriterContext): boolean;
+    cppNodeNamesType(node: CodeNode, tn: string): boolean;
+    cppScanFnsForType(fns: Array<RangerAppFunctionDesc>, tn: string): boolean;
+    cppProgramUsesType(tn: string, ctx: RangerAppWriterContext): boolean;
+    cppNodeHasOptionalUnion(node: CodeNode, ctx: RangerAppWriterContext): boolean;
+    cppScanFnsForOptionalUnion(fns: Array<RangerAppFunctionDesc>, ctx: RangerAppWriterContext): boolean;
+    cppProgramUsesOptionalUnion(ctx: RangerAppWriterContext): boolean;
     cppProgramHasWeakField(ctx: RangerAppWriterContext): boolean;
     writeCppWeakHelper(wr: CodeWriter): void;
-    writeCppHeaderVar(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter, do_initialize: boolean): Promise<void>;
+    writeCppOptionalAccessHelper(wr: CodeWriter): void;
+    writeCppHeaderVar(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter, do_initialize: boolean): void;
     cppReadonlyValueParam(arg: RangerAppParamDesc): boolean;
     cppReadonlyUnionParam(arg: RangerAppParamDesc, ctx: RangerAppWriterContext): boolean;
+    cppMutatedValueClassParam(arg: RangerAppParamDesc, ctx: RangerAppWriterContext): boolean;
     cppBorrowedObjectParam(fnDesc: RangerAppFunctionDesc, arg: RangerAppParamDesc, ctx: RangerAppWriterContext): boolean;
     cppNeedsCallTempCopy(fnDesc: RangerAppFunctionDesc, arg: RangerAppParamDesc, n: CodeNode, ctx: RangerAppWriterContext): boolean;
-    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     cppCaptureByReference(vD: RangerAppParamDesc, ctx: RangerAppWriterContext): boolean;
     cppMutableRefParam(fnDesc: RangerAppFunctionDesc, arg: RangerAppParamDesc, ctx: RangerAppWriterContext): boolean;
-    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    cppUsesThisValue(body: CodeNode): Promise<boolean>;
-    cppNeedsSharedFromThis(node: CodeNode): Promise<boolean>;
-    writeClassHeader(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateUnions(parser: RangerFlowParser, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
+    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    cppUsesThisValue(body: CodeNode): boolean;
+    cppNeedsSharedFromThis(node: CodeNode): boolean;
+    writeClassHeader(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateUnions(parser: RangerFlowParser, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
 }
 export declare class MethodCallList {
     calls: Array<string>;
@@ -2268,6 +2476,7 @@ export declare class RangerRustClassWriter extends RangerGenericClassWriter {
     rust_lhs_is_receiver: boolean;
     rust_writing_return_type: boolean;
     rust_receiverless_method: boolean;
+    rust_trait_self_is_handle: boolean;
     rust_receiver_mut_known: boolean;
     rust_emit_class_name: string;
     rust_receiver_shared_known: boolean;
@@ -2277,29 +2486,52 @@ export declare class RangerRustClassWriter extends RangerGenericClassWriter {
     rust_path_head_mut: boolean;
     rust_field_call_mut_ready: boolean;
     rust_writing_field_type: boolean;
+    rust_lambda_boxed: boolean;
     compiler?: LiveCompiler;
     thisName: string;
     rustFnReturnsUnion: string;
     rustFnReturnNameNode?: CodeNode;
     fileHeaderWritten: boolean;
+    rustAllowSeen: {
+        [key: string]: boolean;
+    };
+    rustModuleOut: boolean;
+    rustClippyNoteWritten: boolean;
+    rustIdentNames: {
+        [key: string]: boolean;
+    };
+    rustIdentNamesDone: boolean;
+    rustEnums: EnumNativeAnalysis;
     rust_in_cell_assign: boolean;
     rust_last_recv_tmp: string;
+    rust_selfrc_path_only: boolean;
     rust_computing_family_mut: boolean;
     constructor();
     lineEnding(): string;
+    rustFillIdentNames(ctx: RangerAppWriterContext): void;
+    rustCollectFnNames(fns: Array<RangerAppFunctionDesc>): void;
+    rustCollectVrefs(node: CodeNode): void;
+    rustSnakeCase(n: string): string;
+    adjustIdentOrType(n: string, ctx: RangerAppWriterContext): string;
     adjustType(tn: string): string;
+    adjustReserved(tn: string): string;
     WriteScalarValue(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     rustStaticStrRead(node: CodeNode): boolean;
-    rustWriteStaticStrValue(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    rustWriteStaticStrValue(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     rustTryBareStrLitArg(nVal: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
     rustArgIsNameRead(nVal: CodeNode): boolean;
     rustSliceRefRead(node: CodeNode): boolean;
     rustStrRefRead(node: CodeNode): boolean;
     rustLhsHoldsRc(left: CodeNode): boolean;
     rustValueIsBorrowedHandle(node: CodeNode, ctx: RangerAppWriterContext): boolean;
-    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeRustLambdaType(expression_value: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustIsFnTyped(n: CodeNode): boolean;
+    rustWriteBoxedFnType(n: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustBodyReturnsName(body: CodeNode, name: string): boolean;
+    rustLocalFnEscapes(name: string, ctx: RangerAppWriterContext): boolean;
+    rustCallReturnsFn(init: CodeNode, ctx: RangerAppWriterContext): boolean;
+    writeRustLambdaType(expression_value: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     rustTraitCoerceName(targetType: string, value: CodeNode, ctx: RangerAppWriterContext): string;
     rustArgValueTypeName(nVal: CodeNode): string;
     rustNodeCollectionElemType(coll: CodeNode): string;
@@ -2311,54 +2543,47 @@ export declare class RangerRustClassWriter extends RangerGenericClassWriter {
     rustCollectionTypeString(type_string: string, ctx: RangerAppWriterContext): string;
     rustElementTypeString(type_string: string, ctx: RangerAppWriterContext): string;
     getObjectTypeString(type_string: string, ctx: RangerAppWriterContext): string;
+    rustClassRef(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): string;
+    rustGenericArgs(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): string;
+    rustClassIsTypeParam(type_string: string, ctx: RangerAppWriterContext): boolean;
+    rustClassPath(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): string;
     getTypeString(type_string: string): string;
-    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     writeRustWeakVRefTail(node: CodeNode, p: RangerAppParamDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    rustMethodInTraitIface(cl: RangerAppClassDesc, name: string, ctx: RangerAppWriterContext): boolean;
-    rustClassMethodKnownShared(cls: RangerAppClassDesc, name: string, ctx: RangerAppWriterContext): boolean;
-    rustReceiverPathClass(fc: CodeNode, ctx: RangerAppWriterContext): RangerAppClassDesc | undefined;
-    rustReceiverKnownShared(fc: CodeNode, ctx: RangerAppWriterContext): boolean;
-    rustReceiverKnownMut(node: CodeNode, fc: CodeNode, ctx: RangerAppWriterContext): boolean;
-    rustReceiverMutFor(node: CodeNode, fc: CodeNode, ctx: RangerAppWriterContext): boolean;
     rustThisPrefix(ctx: RangerAppWriterContext): string;
     rustThisPathPrefix(ctx: RangerAppWriterContext): string;
-    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeRustFnClose(variant: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeRustReturnType(variant: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeRustFnClose(variant: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeRustReturnType(variant: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     rustExprReadsThrough(node: CodeNode, name: string): boolean;
     rustRhsReadsSharedCell(node: CodeNode): boolean;
-    rustCollectInheritedVars(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, seen: {
-        [key: string]: boolean;
-    }, into: Array<RangerAppParamDesc>): void;
-    rustAllStructVars(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): Array<RangerAppParamDesc>;
-    writeStructFieldType(p: RangerAppParamDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeStructFieldTypeInner(p: RangerAppParamDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    rustSegThroughTrait(node: CodeNode, idx: number, ctx: RangerAppWriterContext): boolean;
-    writeStructField(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    rustFoldedInitIsWritable(node: CodeNode, ctx: RangerAppWriterContext): boolean;
+    rustNeedsNonSnakeCase(): boolean;
+    rustNeedAllow(name: string, wr: CodeWriter): void;
+    rustModuleMode(wr: CodeWriter): boolean;
+    rustNeedClippyAllow(name: string, wr: CodeWriter): void;
+    rustNmIsName(seg: string, a: string, b: string): boolean;
+    rustLocalNeedsMut(srcName: string, cName: string, typeName: string, ctx: RangerAppWriterContext): boolean;
+    rustLocalPathUseAfter(srcName: string, cName: string, minLine: number, ctx: RangerAppWriterContext): boolean;
+    rustFoldedLocalIsWrittenAgain(srcName: string, cName: string, node: CodeNode, ctx: RangerAppWriterContext): boolean;
+    rustWriteFoldedInit(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustNodeIsCellField(node: CodeNode): boolean;
+    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustExprIsOptional(inNode: CodeNode, ctx: RangerAppWriterContext): boolean;
+    rustNodeIsLambda(node: CodeNode): boolean;
+    CreatePropertyGet(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustTraitCoerceRoot(right: CodeNode, fieldTypeName: string, ctx: RangerAppWriterContext): string;
+    rustReceiverPathClass(fc: CodeNode, ctx: RangerAppWriterContext): RangerAppClassDesc | undefined;
+    rustReceiverKnownShared(fc: CodeNode, ctx: RangerAppWriterContext): boolean;
+    rustReceiverKnownMut(node: CodeNode, fc: CodeNode, ctx: RangerAppWriterContext): boolean;
+    rustReceiverMutFor(node: CodeNode, fc: CodeNode, ctx: RangerAppWriterContext): boolean;
+    rustStaticCallClassName(cc: RangerAppClassDesc, fc: CodeNode, ctx: RangerAppWriterContext): string;
+    rustStaticCallBlockedByHandle(fc: CodeNode, ctx: RangerAppWriterContext): boolean;
     rustFieldAccessorName(p: RangerAppParamDesc): string;
     rustFieldIsPlainString(p: RangerAppParamDesc, ctx: RangerAppWriterContext): boolean;
     rustFieldIsCopyScalar(p: RangerAppParamDesc, ctx: RangerAppWriterContext): boolean;
-    writeTraitFieldAccessorDecls(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeTraitFieldAccessorImpls(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    rustNewIntoUnion(value: CodeNode, ctx: RangerAppWriterContext): boolean;
-    rustUnionHasMember(ucl: RangerAppClassDesc, memberName: string): boolean;
-    rustDeclaredClassOf(nVal: CodeNode): string;
-    rustWriteUnionValue(targetTypeName: string, nVal: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
-    rustUnionReturnOf(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext): string;
-    rustUnionValueCase(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): boolean;
-    rustArgNeedsUnionWrap(targetTypeName: string, nVal: CodeNode, ctx: RangerAppWriterContext): boolean;
-    rustWriteUnionArg(arg: RangerAppParamDesc, nVal: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
-    rustClassIsShared(typeName: string, ctx: RangerAppWriterContext): boolean;
-    rustNeedsSelfRc(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext): boolean;
-    rustEnclosingMethod(fnDesc: RangerAppFunctionDesc): RangerAppFunctionDesc;
-    rustInitRcState(value: CodeNode, ctx: RangerAppWriterContext): number;
-    rustSelfRcParamType(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext): string;
-    rustSelfRcCoerceTo(fc: CodeNode, fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext): string;
-    writeSelfRcReceiverArg(node: CodeNode, fc: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
-    writeRustReceiver(mutSelf: boolean, wr: CodeWriter): void;
-    writeTraitForwardArgs(variant: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter, lead: boolean): void;
-    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
     rustNodeContainsCall(node: CodeNode): boolean;
     containsSelfReference(node: CodeNode): boolean;
     rustThisSegIsMethod(segName: string, ctx: RangerAppWriterContext): boolean;
@@ -2393,7 +2618,6 @@ export declare class RangerRustClassWriter extends RangerGenericClassWriter {
     rustCellIsCollection(p: RangerAppParamDesc): boolean;
     rustCellIsCopy(p: RangerAppParamDesc): boolean;
     rustCellFieldDesc(node: CodeNode): RangerAppParamDesc | undefined;
-    rustNodeIsCellField(node: CodeNode): boolean;
     rustMarkInteriorCells(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): void;
     rustFillTraitMutations(root: RangerAppClassDesc, ctx: RangerAppWriterContext): void;
     markTraitIfaceMutations(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, directMutations: {
@@ -2416,308 +2640,453 @@ export declare class RangerRustClassWriter extends RangerGenericClassWriter {
     }): boolean;
     fnBodyMutatesThis(node: CodeNode, ctx: RangerAppWriterContext): boolean;
     rustExprCallNeedsSelfRc(obj: CodeNode, methodName: string, recvIsThis: boolean, ctx: RangerAppWriterContext): boolean;
-    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     rustBareArgNeedsClone(arg: CodeNode, ctx: RangerAppWriterContext): boolean;
-    CreateMethodCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    CreateMethodCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     isSelfMethodCall(node: CodeNode): boolean;
     rustCollectNestedSelfCalls(node: CodeNode, into: Array<CodeNode>): void;
     findSelfCallInArgs(node: CodeNode): number;
-    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeSingletonAccessor(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
-    rustProgramHasMainFlag(ctx: RangerAppWriterContext): boolean;
+    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustHoistFieldReceiver(real: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustExtractSelfCallConflicts(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustTailBorrowsLocal(node: CodeNode): boolean;
+    walkRustFnBody(fnB: CodeNode, sCtx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustIsSelfCallNode(n: CodeNode): boolean;
     opWritesOwnParens(opName: string, node: CodeNode, ctx: RangerAppWriterContext): boolean;
-    rustWriteBitOperand(o: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    rustWriteBitOperand(o: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustWriteIDivLeft(o: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     rustArgIsAlreadyRef(nVal: CodeNode): boolean;
     rustArgIsBareThis(nValIn: CodeNode): boolean;
     rustArgIsPlainMutPath(nValIn: CodeNode): boolean;
     rustWriteMutArgPrefix(nVal: CodeNode, wr: CodeWriter): void;
     rustArgIsAlreadyMutRef(nVal: CodeNode): boolean;
-    rustWriteCmpOperand(o: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    rustWriteCastOperandF64(o: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    rustExprIsOptional(inNode: CodeNode, ctx: RangerAppWriterContext): boolean;
-    rustNodeIsLambda(node: CodeNode): boolean;
-    CreatePropertyGet(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    rustWriteCmpOperand(o: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustWriteCastOperandF64(o: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     rustUnwrapParens(node: CodeNode): CodeNode;
     rustCollectConcatOperands(node: CodeNode, out: Array<CodeNode>): void;
     rustFmtInline(o: CodeNode): boolean;
     rustStripToString(o: CodeNode): CodeNode;
-    writeRustFormatOps(ops: Array<CodeNode>, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    rustHoistFieldReceiver(real: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    rustExtractSelfCallConflicts(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    rustTailBorrowsLocal(node: CodeNode): boolean;
-    walkRustFnBody(fnB: CodeNode, sCtx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeRustFormatOps(ops: Array<CodeNode>, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     rustPlainScalarPath(n: CodeNode): boolean;
-    rustTryCompoundAssign(left: CodeNode, right: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
+    rustTryCompoundAssign(left: CodeNode, right: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
     rustArgNeedsCellWrap(arg: RangerAppParamDesc, nVal: CodeNode, ctx: RangerAppWriterContext): boolean;
-    rustTraitCoerceRoot(right: CodeNode, fieldTypeName: string, ctx: RangerAppWriterContext): string;
-    rustWalkOperand(n: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    rustClassBlocksClone(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, depth: number): boolean;
+    rustWalkOperand(n: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     rustIsIndexedWriteOp(n: string): boolean;
     rustExprMentionsName(node: CodeNode, name: string): boolean;
     rustArgIsOutParam(node: CodeNode, idx: number): boolean;
-    rustIsSelfCallNode(n: CodeNode): boolean;
-    beforeOperatorStatement(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    beforeOperatorStatement(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustWriteOperand(arg: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustTreeMentions(node: CodeNode, name: string): boolean;
+    rustForItemIsCopyScalar(item: CodeNode): boolean;
+    rustForItemClassName(item: CodeNode, ctx: RangerAppWriterContext): string;
+    rustClassFieldIsCopy(clName: string, field: string, ctx: RangerAppWriterContext): boolean;
+    rustForBodyOnlyReadsCopyFields(body: CodeNode, itemName: string, clName: string, ctx: RangerAppWriterContext): boolean;
+    rustForBodyTouchesCollection(body: CodeNode, coll: CodeNode): boolean;
+    rustForCollBorrows(coll: CodeNode, ctx: RangerAppWriterContext): boolean;
+    rustWriteForLoop(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustMethodInTraitIface(cl: RangerAppClassDesc, name: string, ctx: RangerAppWriterContext): boolean;
+    rustClassMethodKnownShared(cls: RangerAppClassDesc, name: string, ctx: RangerAppWriterContext): boolean;
+    rustCollectInheritedVars(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, seen: {
+        [key: string]: boolean;
+    }, into: Array<RangerAppParamDesc>): void;
+    rustAllStructVars(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): Array<RangerAppParamDesc>;
+    writeStructFieldType(p: RangerAppParamDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeStructFieldTypeInner(p: RangerAppParamDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustSegThroughTrait(node: CodeNode, idx: number, ctx: RangerAppWriterContext): boolean;
+    writeStructField(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeTraitFieldAccessorDecls(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeTraitFieldAccessorImpls(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustClassIsEmitted(cl: RangerAppClassDesc): boolean;
+    rustIfWithoutElse(n: CodeNode): boolean;
+    rustFnBodyHasCollapsibleIf(m: RangerAppFunctionDesc): boolean;
+    rustNeedsCollapsibleIf(ctx: RangerAppWriterContext): boolean;
+    rustParamIsVecRef(pa: RangerAppParamDesc): boolean;
+    rustNeedsPtrArg(ctx: RangerAppWriterContext): boolean;
+    rustFnHasDeadStore(m: RangerAppFunctionDesc, ctx: RangerAppWriterContext): boolean;
+    rustNeedsUnusedAssignments(ctx: RangerAppWriterContext): boolean;
+    rustNeedsUnusedVariables(ctx: RangerAppWriterContext): boolean;
+    rustNeedsTooManyArgs(ctx: RangerAppWriterContext): boolean;
+    rustNeedsRcHeader(ctx: RangerAppWriterContext): boolean;
+    rustClassIsShared(typeName: string, ctx: RangerAppWriterContext): boolean;
+    rustNeedsSelfRc(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext): boolean;
+    rustEnclosingMethod(fnDesc: RangerAppFunctionDesc): RangerAppFunctionDesc;
+    rustInitRcState(value: CodeNode, ctx: RangerAppWriterContext): number;
+    rustTraitFamilyIsReentrant(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): boolean;
+    rustClassInReentrantTrait(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): boolean;
+    rustSelfRcParamType(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext): string;
+    rustSelfRcCoerceTo(fc: CodeNode, fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext): string;
+    writeSelfRcReceiverArg(node: CodeNode, fc: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
+    rustSelfRcArgBorrows(node: CodeNode, fc: CodeNode, ctx: RangerAppWriterContext): boolean;
+    writeSelfRcReceiverHoist(node: CodeNode, fc: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
+    closeSelfRcReceiverHoist(opened: boolean, wr: CodeWriter): void;
+    writeRustReceiver(mutSelf: boolean, wr: CodeWriter): void;
+    writeTraitForwardArgs(variant: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter, lead: boolean): void;
+    writeSingletonAccessor(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustLibraryMode(ctx: RangerAppWriterContext): boolean;
+    rustPubPrefix(ctx: RangerAppWriterContext): string;
+    rustTraitIsInterface(name: string, ctx: RangerAppWriterContext): boolean;
+    rustEnumNameOf(node: CodeNode, ctx: RangerAppWriterContext): string;
+    rustEnumIsNative(enumName: string, ctx: RangerAppWriterContext): boolean;
+    rustNodeUsesHash(node: CodeNode): boolean;
+    rustNodeUsesStringIndex(node: CodeNode): boolean;
+    rustHeaderHelperNeeds(ctx: RangerAppWriterContext): number;
+    rustScanFnList(fns: Array<RangerAppFunctionDesc>, resIn: number): number;
+    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    rustProgramHasMainFlag(ctx: RangerAppWriterContext): boolean;
+    rustClassBlocksClone(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, depth: number): boolean;
+    rustNewIntoUnion(value: CodeNode, ctx: RangerAppWriterContext): boolean;
+    rustUnionHasMember(ucl: RangerAppClassDesc, memberName: string): boolean;
+    rustDeclaredClassOf(nVal: CodeNode): string;
+    rustWriteUnionValue(targetTypeName: string, nVal: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
+    rustUnionReturnOf(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext): string;
+    rustUnionValueCase(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): boolean;
+    rustArgNeedsUnionWrap(targetTypeName: string, nVal: CodeNode, ctx: RangerAppWriterContext): boolean;
+    rustWriteUnionArg(arg: RangerAppParamDesc, nVal: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
+    rustWriteScrutineeType(scrut: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustWriteUnionCase(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    rustWriteCaseBody(body: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
 }
 export declare class RangerKotlinClassWriter extends RangerGenericClassWriter {
     compiler?: LiveCompiler;
     kotlin_unions_written: boolean;
+    ktTraits: TraitInterfaceAnalysis;
+    ktLoops: ForLoopShape;
+    kotlin_traits_written: boolean;
+    ktEnums: EnumNativeAnalysis;
+    kotlin_enums_written: boolean;
     kotlin_package_written: boolean;
     constructor();
+    ktEnumIsNative(enumName: string, ctx: RangerAppWriterContext): boolean;
+    writeKotlinNativeEnums(ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeKotlinTraitInterfaces(ctx: RangerAppWriterContext, wr: CodeWriter): void;
     writeKotlinUnionInterfaces(ctx: RangerAppWriterContext, wr: CodeWriter): void;
     WriteScalarValue(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     adjustType(tn: string): string;
+    ktClassRef(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): string;
     getObjectTypeString(type_string: string, ctx: RangerAppWriterContext): string;
     collectionTypeStringToKotlin(type_string: string, ctx: RangerAppWriterContext): string;
     getTypeString(type_string: string): string;
-    writeLambdaType(expression_value: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeLambdaType(expression_value: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     EncodeString(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): string;
     receiverIsNullable(obj: CodeNode): boolean;
-    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     namesStaticMember(cl: RangerAppClassDesc, node: CodeNode): boolean;
-    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     paramEmitName(arg: RangerAppParamDesc, ctx: RangerAppWriterContext): string;
     paramIsMutated(arg: RangerAppParamDesc): boolean;
-    kotlinWriteMutableParamCopies(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
+    kotlinWriteMutableParamCopies(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    ktWriteOperand(arg: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    ktWriteForLoop(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    ktWriteSwitch(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
 }
 export declare class RangerDartClassWriter extends RangerGenericClassWriter {
     compiler?: LiveCompiler;
     wrote_header: boolean;
     dart_unions_written: boolean;
-    constructor();
+    dartTraits: TraitInterfaceAnalysis;
+    dartLoops: ForLoopShape;
+    dart_traits_written: boolean;
+    dartEnums: EnumNativeAnalysis;
+    dart_enums_written: boolean;
+    constructor();
+    dartEnumIsNative(enumName: string, ctx: RangerAppWriterContext): boolean;
+    writeDartNativeEnums(ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeDartTraitInterfaces(ctx: RangerAppWriterContext, wr: CodeWriter): void;
     writeDartUnionInterfaces(ctx: RangerAppWriterContext, wr: CodeWriter): void;
     EncodeString(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): string;
     WriteScalarValue(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     adjustType(tn: string): string;
+    dartClassRef(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): string;
     getObjectTypeString(type_string: string, ctx: RangerAppWriterContext): string;
     collectionTypeStringToDart(type_string: string, ctx: RangerAppWriterContext): string;
     getTypeString(type_string: string): string;
-    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     namesStaticMember(cl: RangerAppClassDesc, node: CodeNode): boolean;
-    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     paramEmitName(arg: RangerAppParamDesc, ctx: RangerAppWriterContext): string;
-    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     receiverIsNullable(obj: CodeNode): boolean;
-    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writePubspec(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
-    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
+    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writePubspec(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    dartWriteOperand(arg: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    dartWriteForLoop(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
 }
 export declare class RangerCSharpClassWriter extends RangerGenericClassWriter {
     compiler?: LiveCompiler;
     csharp_unions_written: boolean;
     csharp_namespace_written: boolean;
     csLambdaArgCounter: number;
+    csTraits: TraitInterfaceAnalysis;
+    csLoops: ForLoopShape;
+    csharp_traits_written: boolean;
+    csEnums: EnumNativeAnalysis;
+    csharp_enums_written: boolean;
     constructor();
     adjustType(tn: string): string;
+    csEnumIsNative(enumName: string, ctx: RangerAppWriterContext): boolean;
+    writeCSharpNativeEnums(ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeCSharpTraitInterfaces(ctx: RangerAppWriterContext, wr: CodeWriter): void;
     writeCSharpUnionInterfaces(ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    csClassRef(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): string;
+    genericClassRef(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): string;
     getObjectTypeString(type_string: string, ctx: RangerAppWriterContext): string;
     collectionTypeStringToCS(type_string: string, ctx: RangerAppWriterContext): string;
     getTypeString(type_string: string): string;
-    writeLambdaType(expression_value: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeLambdaType(expression_value: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     writeNullableMark(node: CodeNode, wr: CodeWriter): void;
-    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     csNodeContainsCall(node: CodeNode): boolean;
-    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     renameShadowedLambdaArg(arg: CodeNode, ctx: RangerAppWriterContext): void;
-    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     csCollectInherited(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, vars: {
         [key: string]: boolean;
     }, methods: {
         [key: string]: number;
     }): void;
-    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
+    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    csWriteOperand(arg: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    csWriteForLoop(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
 }
 export declare class RangerScalaClassWriter extends RangerGenericClassWriter {
     compiler?: LiveCompiler;
     init_done: boolean;
-    constructor();
+    scalaTraits: TraitInterfaceAnalysis;
+    scala_traits_written: boolean;
+    scEnums: EnumNativeAnalysis;
+    scala_enums_written: boolean;
+    scLoops: ForLoopShape;
+    constructor();
+    scClassRef(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): string;
+    genericClassRef(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): string;
+    collectionTypeStringToScala(type_string: string, ctx: RangerAppWriterContext): string;
     getObjectTypeString(type_string: string, ctx: RangerAppWriterContext): string;
     getTypeString(type_string: string): string;
-    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeTypeDefNoOption(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeFnEnd(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeTypeDefNoOption(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    scalaExprIsOptional(inNode: CodeNode): boolean;
+    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeFnEnd(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     writeFnStart(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
+    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    scEnumIsNative(enumName: string, ctx: RangerAppWriterContext): boolean;
+    writeScalaNativeEnums(ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeScalaTraitDefs(ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
 }
 export declare class RangerGolangClassWriter extends RangerGenericClassWriter {
     compiler?: LiveCompiler;
     thisName: string;
     write_raw_type: boolean;
+    goTraits: TraitInterfaceAnalysis;
+    goLoops: ForLoopShape;
     did_write_nullable: boolean;
     did_write_sseclient: boolean;
     go_unions_written: boolean;
-    httpServerWriter: RangerGolangHttpServerWriter;
+    goEnums: EnumNativeAnalysis;
+    go_enums_written: boolean;
     constructor();
+    goEnumIsNative(enumName: string, ctx: RangerAppWriterContext): boolean;
+    goEnumMemberName(enumName: string, memberName: string, ctx: RangerAppWriterContext): string;
+    writeGoNativeEnums(ctx: RangerAppWriterContext, wr: CodeWriter): void;
     writeGoUnionStructs(ctx: RangerAppWriterContext, wr: CodeWriter): void;
     goDeclaredClassOf(nVal: CodeNode): string;
+    goOptTargetType(p: RangerAppParamDesc): string;
     goUnionHasMember(ucl: RangerAppClassDesc, memberName: string): boolean;
-    goWriteUnionValue(targetTypeName: string, nVal: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
-    goWriteUnionArg(arg: RangerAppParamDesc, nVal: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
+    goWriteUnionValue(targetTypeName: string, nVal: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
+    goWriteUnionArg(arg: RangerAppParamDesc, nVal: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
     WriteScalarValue(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     isCollectionTypeString(type_string: string): boolean;
     collectionTypeStringToGo(type_string: string, ctx: RangerAppWriterContext): string;
     goElementTypeString(type_string: string, ctx: RangerAppWriterContext): string;
+    goClassRef(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): string;
+    goIsTypeParam(type_string: string, ctx: RangerAppWriterContext): boolean;
     getObjectTypeString(type_string: string, ctx: RangerAppWriterContext): string;
     getTypeString2(type_string: string, ctx: RangerAppWriterContext): string;
-    writeRawTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeRawTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     writeArrayTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     writeTypeDef2(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    WriteSetterVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    goExtractAssign(value: CodeNode, p: RangerAppParamDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    WriteSetterVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    goExtractAssign(value: CodeNode, p: RangerAppParamDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     goAncestors(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): Array<string>;
-    writeStructField(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeInterface(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeSingletonAccessor(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
-}
-export declare class RangerGolangHttpServerWriter {
-    didWriteSSEClient: boolean;
-    didWriteHttpTypes: boolean;
-    constructor();
-    isHttpServerClass(cl: RangerAppClassDesc): boolean;
-    getServerPort(cl: RangerAppClassDesc): number;
-    getRouteMethod(fnDesc: RangerAppFunctionDesc): string;
-    getRoutePath(fnDesc: RangerAppFunctionDesc): string;
-    writeSSEClientStruct(wr: CodeWriter): void;
-    addHttpImports(wr: CodeWriter): void;
-    writeServerStart(serverArg: CodeNode, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter, writer: RangerGolangClassWriter): void;
-    writeStartMethod(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    writeStopMethod(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    writeHttpServerClass(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeStructField(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    goWriteForLoop(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    goWriteOperand(arg: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    goWriteIndexForLoop(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeInterface(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeSingletonAccessor(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    goNodeUsesOptional(node: CodeNode): boolean;
+    goScanFnsForOptional(fns: Array<RangerAppFunctionDesc>): boolean;
+    goProgramUsesOptional(ctx: RangerAppWriterContext): boolean;
+    writeGoTraitInterfaces(ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
 }
 export declare class RangerPHPClassWriter extends RangerGenericClassWriter {
     compiler?: LiveCompiler;
     thisName: string;
     wrote_header: boolean;
-    constructor();
+    phpEnums: EnumNativeAnalysis;
+    php_enums_written: boolean;
+    phpLoops: ForLoopShape;
+    constructor();
+    phpWriteForLoop(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    phpEnumIsNative(enumName: string, ctx: RangerAppWriterContext): boolean;
+    writePhpNativeEnums(ctx: RangerAppWriterContext, wr: CodeWriter): void;
     adjustType(tn: string): string;
     EncodeString(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): string;
     WriteScalarValue(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeVarInitDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    disabledVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateMethodCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreatePropertyGet(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeVarInitDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    disabledVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateMethodCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreatePropertyGet(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    phpTypeNameFor(tn: string, ctx: RangerAppWriterContext): string;
+    phpPropertyType(nn: CodeNode, ctx: RangerAppWriterContext): string;
+    phpPropertyDefault(pt: string): string;
     writeClassVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
+    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
 }
 export declare class RangerPythonClassWriter extends RangerGenericClassWriter {
     compiler?: LiveCompiler;
     thisName: string;
     wrote_header: boolean;
+    pyTypeVarsWritten: Array<string>;
+    pyGenericImported: boolean;
+    pyEnums: EnumNativeAnalysis;
+    python_enums_written: boolean;
+    pyTraits: TraitInterfaceAnalysis;
+    python_traits_written: boolean;
+    pyLoops: ForLoopShape;
     pyHoistWriters: Array<CodeWriter>;
     pyLambdaCounter: number;
     constructor();
+    writePythonTraitProtocols(ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    pyEnumIsNative(enumName: string, ctx: RangerAppWriterContext): boolean;
+    writePythonNativeEnums(ctx: RangerAppWriterContext, wr: CodeWriter): void;
     emptyBlockFiller(): string;
     adjustType(tn: string): string;
     EncodeString(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): string;
     WriteScalarValue(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     pyNodeContainsCall(node: CodeNode): boolean;
-    pyWalkBody(body: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeVarInitDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateMethodCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreatePropertyGet(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    pyWalkBody(body: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeVarInitDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateMethodCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreatePropertyGet(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     pyEmittedName(n: CodeNode): string;
     pyCollectAssigned(node: CodeNode, assigned: {
         [key: string]: boolean;
     }, declared: {
         [key: string]: boolean;
     }): void;
-    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     getPythonTypeName(node: CodeNode, ctx: RangerAppWriterContext): string;
-    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    pyTypeNameFor(tn: string, ctx: RangerAppWriterContext): string;
+    pyCollectionTypeFor(tn: string, ctx: RangerAppWriterContext): string;
+    pyAnnotationOf(node: CodeNode, ctx: RangerAppWriterContext): string;
     writeClassVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
-}
-export declare class WebPageWriter {
-    classWriter?: RangerGenericClassWriter;
-    constructor();
-    CreatePage(parser: RangerFlowParser, node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
+    pyWriteReturnAnnotation(variant: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    pyWriteOperand(arg: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    pyWriteForLoop(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
 }
 export declare class RangerJavaScriptClassWriter extends RangerGenericClassWriter {
+    jsLoops: ForLoopShape;
     compiler?: LiveCompiler;
     thisName: string;
     wrote_header: boolean;
     target_flow: boolean;
     target_typescript: boolean;
     target_esm: boolean;
-    constructor();
+    tsTraits: TraitInterfaceAnalysis;
+    ts_traits_written: boolean;
+    tsEnums: EnumNativeAnalysis;
+    ts_enums_written: boolean;
+    constructor();
+    jsWriteOperand(arg: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    jsWriteForLoop(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CustomOperator(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     lineEnding(): string;
     writeTsOptionalReturnSuffix(variant: RangerAppFunctionDesc, wr: CodeWriter): void;
     adjustType(tn: string): string;
-    CreateTsUnions(parser: RangerFlowParser, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    CreateTsUnions(parser: RangerFlowParser, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     isOptionalReference(node: CodeNode): boolean;
-    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    jsClassRef(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): string;
+    jsDeclName(cl: RangerAppClassDesc): string;
     getObjectTypeString(type_string: string, ctx: RangerAppWriterContext): string;
     collectionTypeStringToTs(type_string: string, ctx: RangerAppWriterContext): string;
     getTypeString(type_string: string): string;
-    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeVarInitDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeClassVarDef(p: RangerAppParamDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
+    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeVarInitDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    tsEnumIsNative(enumName: string, ctx: RangerAppWriterContext): boolean;
+    writeTsNativeEnums(ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeTsTraitInterfaces(ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeClassVarDef(p: RangerAppParamDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
     BuildAST(code_string: string): CodeNode;
-    CreateServices(parser: RangerFlowParser, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
-    CreatePages(parser: RangerFlowParser, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
-    CreatePage(parser: RangerFlowParser, node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
-    writeNpmPackage(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
+    writeNpmPackage(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
 }
 export declare class RangerRangerClassWriter extends RangerGenericClassWriter {
     compiler?: LiveCompiler;
@@ -2725,21 +3094,20 @@ export declare class RangerRangerClassWriter extends RangerGenericClassWriter {
     adjustType(tn: string): string;
     getObjectTypeString(type_string: string, ctx: RangerAppWriterContext): string;
     getTypeString(type_string: string): string;
-    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeArrayLiteral(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     WriteVRefWithOpt(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
+    writeVarDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeFnCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeNewCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArgsDef(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
 }
 export declare class LowIRUtil {
-    constructor();
     static typeFromRanger(typeName: string): string;
     static isSupportedPrimitive(typeName: string): boolean;
     static looksLikeUtf8Bytes(text: string): boolean;
@@ -2871,7 +3239,7 @@ export declare class LowIRSession {
     static __singleton(): LowIRSession;
 }
 export declare class LowIRBuilder {
-    irModule?: LowIRModule;
+    irModule: LowIRModule;
     tempCounter: number;
     blockCounter: number;
     blocks: Array<LowIRBlock>;
@@ -2938,7 +3306,6 @@ export declare class LowIRBuilder {
     finishFunction(name: string, retType: string, params: Array<LowIRParam>, exportFn: boolean, isMain: boolean): string;
 }
 export declare class LowIRRuntimeGen {
-    constructor();
     static hasFunction(module: LowIRModule, name: string): boolean;
     static ensureArrayRuntime(module: LowIRModule): void;
     static ensureMapRuntime(module: LowIRModule): void;
@@ -3117,15 +3484,9 @@ export declare class LowIRBuilderPass {
     isLambdaTypeNode(node: CodeNode): boolean;
     canLowerFunction(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext): boolean;
     isKeywordMarkerParam(p: RangerAppParamDesc): boolean;
-    canLowerMethod(fnDesc: RangerAppFunctionDesc): boolean;
     canLowerInstanceMethod(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext): boolean;
     isMainEntry(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext): boolean;
     shouldExport(fnDesc: RangerAppFunctionDesc, ctx: RangerAppWriterContext): boolean;
-    lowerModule(appCtx: RangerAppWriterContext): LowIRModule;
-    ensureExternDecl(fnName: string, retType: string, paramTypes: Array<string>, isVararg: boolean): void;
-    ensureLibcExtern(target: LowIRTarget): void;
-    ensureBufferExtern(target: LowIRTarget): void;
-    ensureMemExtern(target: LowIRTarget): void;
     memEnabled(lctx: LowIRLowerContext): boolean;
     objRcEnabled(lctx: LowIRLowerContext): boolean;
     strRcEnabled(lctx: LowIRLowerContext): boolean;
@@ -3134,20 +3495,13 @@ export declare class LowIRBuilderPass {
     isEnumTypeName(typeName: string): boolean;
     llvmTypeForRanger(typeName: string, ptrType: string): string;
     varTypeName(nameNode: CodeNode): string;
-    exprIsObjectPtr(node: CodeNode, lctx: LowIRLowerContext): boolean;
     isRefCountedObjectType(typeName: string): boolean;
-    isObjectTypeName(typeName: string): boolean;
-    exprIsString(node: CodeNode): boolean;
-    exprMightBeString(node: CodeNode, lctx: LowIRLowerContext): boolean;
     lowerConcatOperand(node: CodeNode, isStr: boolean, lctx: LowIRLowerContext): string;
     emitStrdupExpr(strPtr: string, lctx: LowIRLowerContext): string;
-    lowerStringConcat(aNode: CodeNode, bNode: CodeNode, lctx: LowIRLowerContext): string;
     hasExternDecl(fnName: string): boolean;
-    internStringGlobal(text: string, withNewline: boolean): string;
     utf8ByteLen(text: string): number;
     stringGlobalByteLen(gname: string): number;
     printTextFromNode(node: CodeNode): string;
-    emitIoString(text: string, withNewline: boolean, lctx: LowIRLowerContext): void;
     emitPrintfFmt(fmt: string, args: Array<string>, argTypes: Array<string>, lctx: LowIRLowerContext): void;
     lowerPrint(node: CodeNode, lctx: LowIRLowerContext): void;
     lowerWrite(node: CodeNode, lctx: LowIRLowerContext): void;
@@ -3167,10 +3521,7 @@ export declare class LowIRBuilderPass {
     lowerShellArg(node: CodeNode, lctx: LowIRLowerContext): string;
     lowerReadFile(node: CodeNode, lctx: LowIRLowerContext): string;
     lowerCreateDir(node: CodeNode, lctx: LowIRLowerContext): void;
-    lowerWriteFile(node: CodeNode, lctx: LowIRLowerContext): void;
-    lowerNullify(node: CodeNode, lctx: LowIRLowerContext): void;
     lowerBufferAlloc(node: CodeNode, lctx: LowIRLowerContext): string;
-    emitPtrArrayLenOrBufferLen(bufVal: string, lctx: LowIRLowerContext): string;
     lowerBufferLength(node: CodeNode, lctx: LowIRLowerContext): string;
     lowerBufferGet(node: CodeNode, lctx: LowIRLowerContext): string;
     lowerBufferSet(node: CodeNode, lctx: LowIRLowerContext): string;
@@ -3180,15 +3531,12 @@ export declare class LowIRBuilderPass {
     lowerIntBufferAlloc(node: CodeNode, lctx: LowIRLowerContext): string;
     lowerIntBufferGet(node: CodeNode, lctx: LowIRLowerContext): string;
     lowerIntBufferSet(node: CodeNode, lctx: LowIRLowerContext): string;
-    exprIsF64(node: CodeNode): boolean;
     promoteToF64(node: CodeNode, val: string, lctx: LowIRLowerContext): string;
     lowerToDouble(node: CodeNode, lctx: LowIRLowerContext): string;
     emitDoubleToString(value: string, lctx: LowIRLowerContext): string;
     emitLibmCall(fnName: string, value: string, lctx: LowIRLowerContext): string;
     lowerToInt(node: CodeNode, lctx: LowIRLowerContext): string;
     lowerFloor(node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerStr2Double(node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerStr2Int(node: CodeNode, lctx: LowIRLowerContext): string;
     lowerIntBufferFill(node: CodeNode, lctx: LowIRLowerContext): string;
     lowerCharAt(node: CodeNode, lctx: LowIRLowerContext): string;
     lowerSubstring(node: CodeNode, lctx: LowIRLowerContext): string;
@@ -3198,21 +3546,9 @@ export declare class LowIRBuilderPass {
     lowerPtrIsNull(ptr: string, lctx: LowIRLowerContext): string;
     lowerPtrIsNotNull(ptr: string, lctx: LowIRLowerContext): string;
     loadArrayDescExpr(arrNode: CodeNode, lctx: LowIRLowerContext): string;
-    exprIsPtrSizedRead(rawNode: CodeNode, lctx: LowIRLowerContext): boolean;
     pushValueNeedsWiden(itemNode: CodeNode, value: string, lctx: LowIRLowerContext): boolean;
-    pushItemNeedsWiden(itemNode: CodeNode, lctx: LowIRLowerContext): boolean;
-    arrayElemTypeName(arrNode: CodeNode, lctx: LowIRLowerContext): string;
-    nodeIsArrayExpr(node: CodeNode, lctx: LowIRLowerContext): boolean;
-    lowerArrayIndexOf(node: CodeNode, lctx: LowIRLowerContext): string;
     isArrayLiteralValue(nameNode: CodeNode, val: CodeNode): boolean;
     isArrayLiteralShape(val: CodeNode): boolean;
-    arrayElemTypeOfTypeName(typeName: string): string;
-    arrayLiteralElemType(nameNode: CodeNode, node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerArrayLiteral(nameNode: CodeNode, node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerArrayLiteralTyped(elemType: string, node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerPush(node: CodeNode, lctx: LowIRLowerContext): void;
-    lowerForMap(node: CodeNode, lctx: LowIRLowerContext): boolean;
-    lowerFor(node: CodeNode, lctx: LowIRLowerContext): void;
     emitStrcmpEq(lhs: string, rhs: string, ctx: LowIRLowerContext): string;
     propertyReadClass(node: CodeNode, lctx: LowIRLowerContext): string;
     isPropertyReadNode(node: CodeNode): boolean;
@@ -3221,65 +3557,28 @@ export declare class LowIRBuilderPass {
     isLibmBinaryOp(op: string): boolean;
     lowerLibmUnary(fnName: string, node: CodeNode, lctx: LowIRLowerContext): string;
     lowerLibmBinary(fnName: string, node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerToString(node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerStrFromCode(node: CodeNode, fnName: string, lctx: LowIRLowerContext): string;
-    lowerStrlenOn(textNode: CodeNode, lctx: LowIRLowerContext): string;
     unwrapUnwrapOper(node: CodeNode): CodeNode;
-    lowerStrlen(node: CodeNode, lctx: LowIRLowerContext): string;
     isIntArrayTypeNode(node: CodeNode): boolean;
     isIntKeyValueMapTypeNode(node: CodeNode): boolean;
-    ensureIMapExterns(): void;
     widenToI64(val: string, keyNode: CodeNode, lctx: LowIRLowerContext): string;
     emitIMapCall(fnName: string, retType: string, desc: string, rest: Array<string>, restTypes: Array<string>, lctx: LowIRLowerContext): string;
-    imapDescFromVref(vref: string, lctx: LowIRLowerContext): string;
-    imapValueKind(vref: string, lctx: LowIRLowerContext): string;
-    imapValueOwnKind(typeName: string): number;
     isIntIntMapTypeNode(node: CodeNode): boolean;
-    ensureSMapExterns(): void;
     emitSMapNew(lctx: LowIRLowerContext): string;
     emitSMapNewKind(valKind: number, lctx: LowIRLowerContext): string;
-    smapValueOwnKind(valueTypeName: string): number;
     emitSMapCall(fnName: string, retType: string, descIn: string, rest: Array<string>, restTypes: Array<string>, lctx: LowIRLowerContext): string;
-    lowerSMapKeys(node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerEnumRef(node: CodeNode, lctx: LowIRLowerContext): string;
-    jsonTypeNameOfNode(node: CodeNode, lctx: LowIRLowerContext): string;
     nodeIsJson(node: CodeNode, lctx: LowIRLowerContext): boolean;
     jsonValueKind(valNode: CodeNode, lctx: LowIRLowerContext): string;
-    ensureJsonExtern(fnName: string, retType: string, params: Array<string>): void;
     emitAnsiConst(code: string, lctx: LowIRLowerContext): string;
     tryLowerAnsi(opName: string, lctx: LowIRLowerContext): string;
     emitJsonCall(fnName: string, retType: string, args: Array<string>, argTypes: Array<string>, cParams: Array<string>, lctx: LowIRLowerContext): string;
-    lowerJsonNew(fnName: string, lctx: LowIRLowerContext): string;
-    lowerJsonGet(node: CodeNode, fnName: string, retIr: string, cRet: string, lctx: LowIRLowerContext): string;
-    lowerJsonSet(node: CodeNode, lctx: LowIRLowerContext): void;
-    lowerJsonPush(node: CodeNode, lctx: LowIRLowerContext): void;
-    lowerJson1(node: CodeNode, fnName: string, cRet: string, lctx: LowIRLowerContext): string;
-    lowerJsonGetValue(node: CodeNode, lctx: LowIRLowerContext): string;
     jsonCaseKindFor(typeName: string): number;
-    lowerJsonCase(node: CodeNode, lctx: LowIRLowerContext): boolean;
-    lowerArraySort(node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerArrayInsert(node: CodeNode, lctx: LowIRLowerContext): void;
     emitArrayRemoveCall(node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerArrayRemove(node: CodeNode, lctx: LowIRLowerContext): void;
-    lowerArrayRemoveLast(node: CodeNode, lctx: LowIRLowerContext): void;
-    lowerArrayClear(node: CodeNode, lctx: LowIRLowerContext): void;
-    lowerArrayExtract(node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerTernary(node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerArrayReverse(node: CodeNode, lctx: LowIRLowerContext): string;
     toI1(v: string, lctx: LowIRLowerContext): string;
-    lowerStr2Fn(node: CodeNode, fnName: string, retType: string, lctx: LowIRLowerContext): string;
-    lowerStr3Fn(node: CodeNode, fnName: string, lctx: LowIRLowerContext): string;
-    lowerStr2IntFn(node: CodeNode, fnName: string, retType: string, lctx: LowIRLowerContext): string;
-    lowerStr1IntFn(node: CodeNode, fnName: string, retType: string, lctx: LowIRLowerContext): string;
-    lowerStr0Fn(fnName: string, lctx: LowIRLowerContext): string;
-    lowerStr1Fn(node: CodeNode, fnName: string, lctx: LowIRLowerContext): string;
     isStringKeyMapTypeNode(node: CodeNode): boolean;
     isObjectPtrArrayTypeNode(node: CodeNode): boolean;
     isPlainValueArrayTypeNode(node: CodeNode): boolean;
     isDoubleArrayTypeNode(node: CodeNode): boolean;
-    arrayElemIsDouble(arrNode: CodeNode, lctx: LowIRLowerContext): boolean;
     isStringArrayTypeNode(node: CodeNode): boolean;
-    emitPtrArrayNewEmpty(lctx: LowIRLowerContext, elemKind: number): string;
     isOwnedCollectionLocal(varName: string, lctx: LowIRLowerContext): boolean;
     bindPtrArraySlot(varName: string, desc: string, lctx: LowIRLowerContext, owned: boolean): void;
     wasmCollectionRcEnabled(lctx: LowIRLowerContext): boolean;
@@ -3287,7 +3586,6 @@ export declare class LowIRBuilderPass {
     arrayLenOff(lctx: LowIRLowerContext): number;
     arrayCapOff(lctx: LowIRLowerContext): number;
     arrayDescBytes(lctx: LowIRLowerContext): number;
-    ptrArrayOwnedOff(lctx: LowIRLowerContext): number;
     bindCollectionSlot(varName: string, kind: string, desc: string, lctx: LowIRLowerContext): void;
     loadCollectionDesc(varName: string, lctx: LowIRLowerContext): string;
     emitDescLoad(desc: string, byteOff: number, lctx: LowIRLowerContext): string;
@@ -3300,18 +3598,10 @@ export declare class LowIRBuilderPass {
     emitRtMapPut(desc: string, key: string, val: string, lctx: LowIRLowerContext): void;
     emitRtMapGet(desc: string, key: string, lctx: LowIRLowerContext): string;
     emitRtMapHas(desc: string, key: string, lctx: LowIRLowerContext): string;
-    lowerCollectionMake(node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerCollectionGet(node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerCollectionLen(node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerCollectionHas(node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerCollectionSet(node: CodeNode, lctx: LowIRLowerContext): void;
     collectStructVars(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): Array<RangerAppParamDesc>;
     collectStructVarsInto(cl: RangerAppClassDesc, ctx: RangerAppWriterContext, out: Array<RangerAppParamDesc>, seen: {
         [key: string]: boolean;
     }, depth: number): void;
-    lowerStruct(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): void;
-    lowerTypeDesc(st: LowIRStruct, target: LowIRTarget): void;
-    fieldByteOffset(className: string, fieldIndex: number, module: LowIRModule): number;
     shadowBind(varName: string, irType: string, value: string, lctx: LowIRLowerContext): string;
     restoreShadow(varName: string, prev: string, lctx: LowIRLowerContext): void;
     takeForceFresh(varName: string, lctx: LowIRLowerContext): boolean;
@@ -3323,38 +3613,23 @@ export declare class LowIRBuilderPass {
     fieldIsPtrArraySlot(className: string, fieldName: string): boolean;
     fieldIsObjectSlot(className: string, fieldName: string): boolean;
     strKeyPtr(keyNode: CodeNode, key: string, lctx: LowIRLowerContext): string;
-    smapDescFromVref(vref: string, lctx: LowIRLowerContext): string;
-    isStringMapVref(vref: string, lctx: LowIRLowerContext): boolean;
-    smapValueKind(vref: string, lctx: LowIRLowerContext): string;
-    smapValueIsInt(vref: string, lctx: LowIRLowerContext): boolean;
     fieldIsIntMapSlot(className: string, fieldName: string): boolean;
     fieldIsStringMapSlot(className: string, fieldName: string): boolean;
     fieldIsStringSlot(className: string, fieldName: string): boolean;
     fieldIsBufferSlot(className: string, fieldName: string): boolean;
     fieldIsBoolSlot(className: string, fieldName: string): boolean;
-    ptrArrayDescFromVref(vref: string, lctx: LowIRLowerContext): string;
     loadPtrArrayDescExpr(arrNode: CodeNode, lctx: LowIRLowerContext): string;
-    emitPtrArrayLen(desc: string, lctx: LowIRLowerContext): string;
     fieldArrayElemType(className: string, fieldName: string, lctx: LowIRLowerContext): string;
-    ptrArrayElemIsInt(arrNode: CodeNode, lctx: LowIRLowerContext): boolean;
     lowerItemAt(node: CodeNode, lctx: LowIRLowerContext): string;
-    emitPtrArrayElemGet(desc: string, idx: string, arrNode: CodeNode, lctx: LowIRLowerContext): string;
-    emitPtrArrayElemSet(desc: string, idx: string, val: string, arrNode: CodeNode, lctx: LowIRLowerContext): void;
     emitFieldLoadOn(className: string, structPtr: string, fieldName: string, lctx: LowIRLowerContext): string;
-    emitReleaseFieldValue(className: string, fieldName: string, rawVal: string, lctx: LowIRLowerContext): void;
-    exprCarriesFreshRef(node: CodeNode, lctx: LowIRLowerContext): boolean;
-    exprIsBorrowedPtrArrayRef(node: CodeNode, lctx: LowIRLowerContext): boolean;
     retainAliasedArray(valNode: CodeNode, desc: string, lctx: LowIRLowerContext): void;
     isBorrowedArrayExpr(valNode: CodeNode): boolean;
     emitSMapRetain(desc: string, lctx: LowIRLowerContext): void;
-    emitPtrArrayRetain(desc: string, lctx: LowIRLowerContext): void;
     emitFieldStoreOn(className: string, structPtr: string, fieldName: string, value: string, lctx: LowIRLowerContext): void;
-    emitFieldStoreOnEx(className: string, structPtr: string, fieldName: string, value: string, srcIsFresh: boolean, lctx: LowIRLowerContext): void;
     emitObjRetainPtr(ptr: string, lctx: LowIRLowerContext): void;
     emitObjReleasePtr(ptr: string, lctx: LowIRLowerContext): void;
     emitFieldLoad(fieldName: string, lctx: LowIRLowerContext): string;
     emitFieldStore(fieldName: string, value: string, lctx: LowIRLowerContext): void;
-    fieldObjectClassName(className: string, fieldName: string, lctx: LowIRLowerContext): string;
     resolveObjectPtr(varName: string, className: string, lctx: LowIRLowerContext): string;
     joinDotPrefix(parts: Array<string>, count: number): string;
     resolveObjectClassChain(varName: string, lctx: LowIRLowerContext): string;
@@ -3362,32 +3637,18 @@ export declare class LowIRBuilderPass {
     resolveObjectClass(varName: string, lctx: LowIRLowerContext): string;
     resolveFieldPtrExpr(vref: string, lctx: LowIRLowerContext): string;
     isObjectArrayField(v: RangerAppParamDesc): boolean;
-    newTargetClassName(node: CodeNode, lctx: LowIRLowerContext): string;
     emitFieldDefault(className: string, objPtr: string, fieldName: string, valNode: CodeNode, lctx: LowIRLowerContext): void;
     initFieldDefaultsInObject(className: string, objPtr: string, lctx: LowIRLowerContext): void;
     initFieldDefaultsInConstructor(className: string, lctx: LowIRLowerContext): void;
-    initArrayFieldsInObject(className: string, objPtr: string, lctx: LowIRLowerContext): void;
     initArrayFieldsInConstructor(className: string, lctx: LowIRLowerContext): void;
-    structByteSize(className: string, module: LowIRModule): number;
     classHasOwnedFields(className: string): boolean;
     newArgListOf(argsNode: CodeNode): CodeNode;
-    lowerNewObject(className: string, argsNodeIn: CodeNode, lctx: LowIRLowerContext): string;
     findFieldIndex(className: string, fieldName: string, module: LowIRModule): number;
     resolvesToField(fieldName: string, lctx: LowIRLowerContext): boolean;
     isRealConstructor(fnDesc: RangerAppFunctionDesc, className: string, appCtx: RangerAppWriterContext): boolean;
     isClassField(fieldName: string, className: string, module: LowIRModule): boolean;
     structFieldCount(className: string, module: LowIRModule): number;
-    lowerFunction(fnDesc: RangerAppFunctionDesc, className: string, appCtx: RangerAppWriterContext, exportFn: boolean, isMain: boolean, isInstance: boolean): void;
-    lowerSingletonAccessor(cl: RangerAppClassDesc, appCtx: RangerAppWriterContext): void;
-    collectLambdas(appCtx: RangerAppWriterContext): void;
-    collectMethodLambdas(m: RangerAppFunctionDesc, pt: string): void;
-    collectMethodLambdasAt(m: RangerAppFunctionDesc, pt: string, depth: number): void;
-    lambdaCallSig(lam: RangerAppFunctionDesc, pt: string): string;
     addLambdaSig(sig: string): void;
-    lowerLambdaBodies(appCtx: RangerAppWriterContext): void;
-    lowerLambdaFunction(lam: RangerAppFunctionDesc, fnName: string, appCtx: RangerAppWriterContext): void;
-    lambdaTableIndex(name: string): number;
-    nodeAssignsToName(node: CodeNode, name: string): boolean;
     boxedCellType(varName: string, lctx: LowIRLowerContext): string;
     emitBoxCell(lctx: LowIRLowerContext): string;
     boxInitValue(irType: string, value: string, lctx: LowIRLowerContext): string;
@@ -3399,15 +3660,8 @@ export declare class LowIRBuilderPass {
     computeBoxedCandidates(fnDesc: RangerAppFunctionDesc, lctx: LowIRLowerContext): void;
     collectBoxedCandidates(m: RangerAppFunctionDesc, lctx: LowIRLowerContext): void;
     irTypeBytes(irType: string, lctx: LowIRLowerContext): number;
-    lambdaOwnerClass(lam: RangerAppFunctionDesc, depth: number): string;
-    lambdaCaptureNames(node: CodeNode, lam: RangerAppFunctionDesc): Array<string>;
-    nestedCaptureNames(lam: RangerAppFunctionDesc, depth: number): Array<string>;
-    computeLambdaCaptures(node: CodeNode, lam: RangerAppFunctionDesc, lctx: LowIRLowerContext): LambdaCaptureInfo;
-    lowerLambdaValue(node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerLambdaCall(node: CodeNode, lctx: LowIRLowerContext): string;
     isOwnedObjectLocal(varName: string, lctx: LowIRLowerContext): boolean;
     slotHoldsObject(varName: string, lctx: LowIRLowerContext): boolean;
-    releaseOwnedLocal(varName: string, lctx: LowIRLowerContext): void;
     isOwnedStringLocal(varName: string, lctx: LowIRLowerContext): boolean;
     registerFreshStringTemp(tmp: string, lctx: LowIRLowerContext): void;
     claimStringTemp(tmp: string, lctx: LowIRLowerContext): void;
@@ -3416,142 +3670,255 @@ export declare class LowIRBuilderPass {
     claimObjectTemp(tmp: string, lctx: LowIRLowerContext): void;
     flushObjectTempsFrom(mark: number, lctx: LowIRLowerContext): void;
     emitStrReleasePtr(ptr: string, lctx: LowIRLowerContext): void;
-    releaseOwnedString(varName: string, lctx: LowIRLowerContext): void;
-    releaseOwnedCollectionLocal(varName: string, lctx: LowIRLowerContext): void;
-    emitOwnedStringInit(varName: string, valNode: CodeNode, strPtr: string, lctx: LowIRLowerContext): string;
     isCapturedName(varName: string, lctx: LowIRLowerContext): boolean;
-    emitOwnedStringReassign(varName: string, valNode: CodeNode, strPtr: string, lctx: LowIRLowerContext): string;
     strictOwnershipEnabled(lctx: LowIRLowerContext): boolean;
-    emitOwnershipSummary(lctx: LowIRLowerContext): void;
-    emitReleaseOwnedLocals(lctx: LowIRLowerContext): void;
     withoutName(names: Array<string>, varName: string): Array<string>;
-    popReslots(mark: number, lctx: LowIRLowerContext): void;
-    lowerBlock(block: CodeNode, lctx: LowIRLowerContext): void;
     blockClosed(lctx: LowIRLowerContext): boolean;
-    lowerStmtList(stmts: Array<CodeNode>, lctx: LowIRLowerContext): void;
-    lowerBlockBody(block: CodeNode, lctx: LowIRLowerContext): void;
     isAssignNode(node: CodeNode): boolean;
-    lowerStmt(node: CodeNode, lctx: LowIRLowerContext): void;
-    lowerStmtDispatch(node: CodeNode, lctx: LowIRLowerContext): void;
     declaredIrTypeOf(nameNode: CodeNode, lctx: LowIRLowerContext): string;
     noteRedeclaration(varName: string, nameNode: CodeNode, lctx: LowIRLowerContext): void;
-    lowerVarDef(node: CodeNode, lctx: LowIRLowerContext): void;
-    lowerVarDefBody(node: CodeNode, lctx: LowIRLowerContext): void;
-    exprIsI64Operator(node: CodeNode): boolean;
     assignTargetFieldClass(varName: string, lctx: LowIRLowerContext): string;
-    lowerAssign(node: CodeNode, lctx: LowIRLowerContext): void;
-    lowerReturn(node: CodeNode, lctx: LowIRLowerContext): void;
     isCompareOp(op: string): boolean;
     unwrapInfixExpr(node: CodeNode): CodeNode;
-    unwrapCondExpr(node: CodeNode): CodeNode;
-    exprProducesI1(node: CodeNode, lctx: LowIRLowerContext): boolean;
     condVref(node: CodeNode): string;
-    lowerCondOperand(node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerCond(node: CodeNode, lctx: LowIRLowerContext): string;
     emitSwitchCaseTest(subj: string, subjNode: CodeNode, caseNode: CodeNode, lctx: LowIRLowerContext): string;
     emitStrOrDefault(value: string, fallback: string, lctx: LowIRLowerContext): string;
-    lowerThrow(node: CodeNode, lctx: LowIRLowerContext): void;
     emptyStrList(): Array<string>;
-    lowerTry(node: CodeNode, lctx: LowIRLowerContext): void;
     guardUnwrapInTry(value: string, lctx: LowIRLowerContext): void;
-    lowerSwitch(node: CodeNode, lctx: LowIRLowerContext): void;
     shapeCaseClassName(itemNode: CodeNode): string;
     moduleHasTypeDesc(className: string): boolean;
     emitShapeKindTest(val: string, caseClass: string, lctx: LowIRLowerContext): string;
     lowerShapeIs(node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerShapeCase(node: CodeNode, lctx: LowIRLowerContext): void;
-    lowerIf(node: CodeNode, lctx: LowIRLowerContext): void;
-    emitLoopBodyReleases(lctx: LowIRLowerContext): void;
     lowerLoopJump(target: string, lctx: LowIRLowerContext): void;
-    lowerWhile(node: CodeNode, lctx: LowIRLowerContext): void;
-    releaseAndClearOwnedLocal(varName: string, lctx: LowIRLowerContext): void;
-    releaseAndClearOwnedCollection(varName: string, lctx: LowIRLowerContext): void;
-    releaseLoopBodyOwned(ownedBefore: number, ownedStrBefore: number, ownedCollBefore: number, lctx: LowIRLowerContext): void;
-    lowerExpr(node: CodeNode, lctx: LowIRLowerContext): string;
-    operatorReturnsString(op: string): boolean;
-    exprIsFreshString(node: CodeNode, lctx: LowIRLowerContext): boolean;
-    exprIsStringish(node: CodeNode, lctx: LowIRLowerContext): boolean;
-    lowerStringCompare(aNode: CodeNode, bNode: CodeNode, pred: string, lctx: LowIRLowerContext): string;
-    lowerCompareI32(aNode: CodeNode, bNode: CodeNode, pred: string, lctx: LowIRLowerContext): string;
     lowerArithF64OrI32(intKind: string, fpKind: string, node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerBinaryOp(opName: string, node: CodeNode, lctx: LowIRLowerContext): string;
-    lowerShortCircuit(node: CodeNode, isAnd: boolean, lctx: LowIRLowerContext): string;
-    tryLowerIntrinsic(fnName: string, argsNode: CodeNode, lctx: LowIRLowerContext): string;
     finishObjectCall(rv: string): string;
-    lowerCall(node: CodeNode, lctx: LowIRLowerContext): string;
-    exprRecvClassName(node: CodeNode, lctx: LowIRLowerContext): string;
-    tryLowerObjectCall(node: CodeNode, lctx: LowIRLowerContext): string;
     fieldReceiverClass(recvName: string, lctx: LowIRLowerContext): string;
     callArgsNode(node: CodeNode): CodeNode;
     resolveMethodName(node: CodeNode, defaultName: string): string;
     argIrType(arg: CodeNode, lctx: LowIRLowerContext): string;
-    lowerCallArgValue(arg: CodeNode, paramIndex: number, fnDesc: RangerAppFunctionDesc, lctx: LowIRLowerContext): string;
     paramIrTypeFromDesc(paramIndex: number, fnDesc: RangerAppFunctionDesc, lctx: LowIRLowerContext): string;
-    coerceArg(value: string, wantType: string, lctx: LowIRLowerContext): string;
     methodOwnerClass(className: string, methodName: string, lctx: LowIRLowerContext): string;
-    methodOwnerClassIn(className: string, methodName: string, appCtx: RangerAppWriterContext, depth: number): string;
     virtualKeyOf(className: string, methodName: string): string;
-    topmostDeclaringClass(className: string, methodName: string, appCtx: RangerAppWriterContext, depth: number): string;
     classIsLowered(cl: RangerAppClassDesc): boolean;
-    collectVirtualMethods(appCtx: RangerAppWriterContext): void;
     classInheritsFrom(className: string, baseName: string, appCtx: RangerAppWriterContext, depth: number): boolean;
     virtualDispatcherName(className: string, methodName: string): string;
     hasVirtualDispatcher(className: string, methodName: string): boolean;
     emitVirtualDispatchers(appCtx: RangerAppWriterContext): void;
-    emitOneVirtualDispatcher(top: string, meth: string, fnDesc: RangerAppFunctionDesc, cases: Array<string>, appCtx: RangerAppWriterContext): void;
     emitDispatchTailCall(builder: LowIRBuilder, cls: string, meth: string, retType: string, argNames: Array<string>, argTypes: Array<string>): void;
-    lowerInstanceCallOn(node: CodeNode, receiverName: string, recvNode: CodeNode, methodName: string, lctx: LowIRLowerContext): string;
     registerCallObjectTemp(node: CodeNode, tmp: string, lctx: LowIRLowerContext): void;
-    lowerInstanceCall(node: CodeNode, lctx: LowIRLowerContext): string;
-    calleeReceiverIsUnknown(callee: CodeNode, lctx: LowIRLowerContext): boolean;
     moduleHasFunction(fnName: string): boolean;
     resolveCalleeName(callee: CodeNode): string;
-}
-export declare class LLVMIRWriter {
-    instrLineLen: number;
-    varargNames: Array<string>;
-    varargSigs: Array<string>;
-    constructor();
-    collectVarargFns(module: LowIRModule): void;
-    varargSigFor(fnName: string): string;
-    llTy(t: string): string;
-    normalizeDoubleLit(lit: string): string;
-    hexDigit(d: number): string;
-    hexByte(b: number): string;
-    llvmEscapeCString(text: string): string;
-    writeModule(module: LowIRModule, wr: CodeWriter): void;
-    writeBigStackMain(wr: CodeWriter): void;
-    writeLambdaTable(module: LowIRModule, wr: CodeWriter): void;
-    writeTypeDescs(module: LowIRModule, wr: CodeWriter): void;
-    writeOneTypeDesc(td: LowIRTypeDesc, wr: CodeWriter): void;
-    writeStruct(st: LowIRStruct, wr: CodeWriter): void;
-    writeFunction(fn: LowIRFunction, wr: CodeWriter): void;
-    writeInstr(ins: LowIRInstr, wr: CodeWriter): void;
-    writeInstrBody(ins: LowIRInstr, wr: CodeWriter): void;
-    writeTerminator(bb: LowIRBlock, wr: CodeWriter): void;
-}
-export declare class WATWriter {
-    strAddrs: {
-        [key: string]: number;
-    };
-    typeDescAddrs: {
-        [key: string]: number;
-    };
-    lambdaFuncs: Array<string>;
-    constructor();
-    lambdaFuncIndex(name: string): number;
-    sigTypeName(callSig: string): string;
-    sigTypeDecl(callSig: string): string;
-    utf8Encode(text: string): Array<number>;
-    hexDigit(d: number): string;
-    hexByte(b: number): string;
-    dataEscape(bytes: Array<number>): string;
-    leWord(v: number): string;
-    align4(a: number): number;
-    fieldOwnedFlag(fd: LowIRTypeFieldDesc): number;
-    descHasOwned(td: LowIRTypeDesc): boolean;
-    moduleHasOwnedTypeDescs(module: LowIRModule): boolean;
-    emitStaticData(module: LowIRModule, wr: CodeWriter): void;
+    exprIsObjectPtr(node: CodeNode, lctx: LowIRLowerContext): boolean;
+    exprIsString(node: CodeNode): boolean;
+    exprMightBeString(node: CodeNode, lctx: LowIRLowerContext): boolean;
+    lowerStringConcat(aNode: CodeNode, bNode: CodeNode, lctx: LowIRLowerContext): string;
+    lowerNullify(node: CodeNode, lctx: LowIRLowerContext): void;
+    exprIsF64(node: CodeNode): boolean;
+    lowerStr2Double(node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerStr2Int(node: CodeNode, lctx: LowIRLowerContext): string;
+    exprIsPtrSizedRead(rawNode: CodeNode, lctx: LowIRLowerContext): boolean;
+    lowerToString(node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerStrFromCode(node: CodeNode, fnName: string, lctx: LowIRLowerContext): string;
+    lowerStrlenOn(textNode: CodeNode, lctx: LowIRLowerContext): string;
+    lowerStrlen(node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerEnumRef(node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerTernary(node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerStr2Fn(node: CodeNode, fnName: string, retType: string, lctx: LowIRLowerContext): string;
+    lowerStr3Fn(node: CodeNode, fnName: string, lctx: LowIRLowerContext): string;
+    lowerStr2IntFn(node: CodeNode, fnName: string, retType: string, lctx: LowIRLowerContext): string;
+    lowerStr1IntFn(node: CodeNode, fnName: string, retType: string, lctx: LowIRLowerContext): string;
+    lowerStr0Fn(fnName: string, lctx: LowIRLowerContext): string;
+    lowerStr1Fn(node: CodeNode, fnName: string, lctx: LowIRLowerContext): string;
+    lowerStruct(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): void;
+    exprCarriesFreshRef(node: CodeNode, lctx: LowIRLowerContext): boolean;
+    exprIsBorrowedPtrArrayRef(node: CodeNode, lctx: LowIRLowerContext): boolean;
+    exprIsI64Operator(node: CodeNode): boolean;
+    unwrapCondExpr(node: CodeNode): CodeNode;
+    exprProducesI1(node: CodeNode, lctx: LowIRLowerContext): boolean;
+    lowerCondOperand(node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerCond(node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerExpr(node: CodeNode, lctx: LowIRLowerContext): string;
+    operatorReturnsString(op: string): boolean;
+    exprIsFreshString(node: CodeNode, lctx: LowIRLowerContext): boolean;
+    exprIsStringish(node: CodeNode, lctx: LowIRLowerContext): boolean;
+    lowerStringCompare(aNode: CodeNode, bNode: CodeNode, pred: string, lctx: LowIRLowerContext): string;
+    lowerCompareI32(aNode: CodeNode, bNode: CodeNode, pred: string, lctx: LowIRLowerContext): string;
+    lowerBinaryOp(opName: string, node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerShortCircuit(node: CodeNode, isAnd: boolean, lctx: LowIRLowerContext): string;
+    lowerCall(node: CodeNode, lctx: LowIRLowerContext): string;
+    exprRecvClassName(node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerCallArgValue(arg: CodeNode, paramIndex: number, fnDesc: RangerAppFunctionDesc, lctx: LowIRLowerContext): string;
+    coerceArg(value: string, wantType: string, lctx: LowIRLowerContext): string;
+    lowerForMap(node: CodeNode, lctx: LowIRLowerContext): boolean;
+    lowerFor(node: CodeNode, lctx: LowIRLowerContext): void;
+    nodeAssignsToName(node: CodeNode, name: string): boolean;
+    lowerBlock(block: CodeNode, lctx: LowIRLowerContext): void;
+    lowerStmtList(stmts: Array<CodeNode>, lctx: LowIRLowerContext): void;
+    lowerBlockBody(block: CodeNode, lctx: LowIRLowerContext): void;
+    lowerStmt(node: CodeNode, lctx: LowIRLowerContext): void;
+    lowerStmtDispatch(node: CodeNode, lctx: LowIRLowerContext): void;
+    lowerVarDef(node: CodeNode, lctx: LowIRLowerContext): void;
+    lowerVarDefBody(node: CodeNode, lctx: LowIRLowerContext): void;
+    lowerAssign(node: CodeNode, lctx: LowIRLowerContext): void;
+    lowerReturn(node: CodeNode, lctx: LowIRLowerContext): void;
+    lowerThrow(node: CodeNode, lctx: LowIRLowerContext): void;
+    lowerTry(node: CodeNode, lctx: LowIRLowerContext): void;
+    lowerSwitch(node: CodeNode, lctx: LowIRLowerContext): void;
+    lowerIf(node: CodeNode, lctx: LowIRLowerContext): void;
+    lowerWhile(node: CodeNode, lctx: LowIRLowerContext): void;
+    canLowerMethod(fnDesc: RangerAppFunctionDesc): boolean;
+    isObjectTypeName(typeName: string): boolean;
+    lowerTypeDesc(st: LowIRStruct, target: LowIRTarget): void;
+    fieldByteOffset(className: string, fieldIndex: number, module: LowIRModule): number;
+    emitFieldStoreOnEx(className: string, structPtr: string, fieldName: string, value: string, srcIsFresh: boolean, lctx: LowIRLowerContext): void;
+    fieldObjectClassName(className: string, fieldName: string, lctx: LowIRLowerContext): string;
+    newTargetClassName(node: CodeNode, lctx: LowIRLowerContext): string;
+    initArrayFieldsInObject(className: string, objPtr: string, lctx: LowIRLowerContext): void;
+    structByteSize(className: string, module: LowIRModule): number;
+    lowerNewObject(className: string, argsNodeIn: CodeNode, lctx: LowIRLowerContext): string;
+    lowerSingletonAccessor(cl: RangerAppClassDesc, appCtx: RangerAppWriterContext): void;
+    lowerShapeCase(node: CodeNode, lctx: LowIRLowerContext): void;
+    tryLowerObjectCall(node: CodeNode, lctx: LowIRLowerContext): string;
+    methodOwnerClassIn(className: string, methodName: string, appCtx: RangerAppWriterContext, depth: number): string;
+    topmostDeclaringClass(className: string, methodName: string, appCtx: RangerAppWriterContext, depth: number): string;
+    collectVirtualMethods(appCtx: RangerAppWriterContext): void;
+    emitOneVirtualDispatcher(top: string, meth: string, fnDesc: RangerAppFunctionDesc, cases: Array<string>, appCtx: RangerAppWriterContext): void;
+    lowerInstanceCallOn(node: CodeNode, receiverName: string, recvNode: CodeNode, methodName: string, lctx: LowIRLowerContext): string;
+    lowerInstanceCall(node: CodeNode, lctx: LowIRLowerContext): string;
+    calleeReceiverIsUnknown(callee: CodeNode, lctx: LowIRLowerContext): boolean;
+    emitPtrArrayLenOrBufferLen(bufVal: string, lctx: LowIRLowerContext): string;
+    pushItemNeedsWiden(itemNode: CodeNode, lctx: LowIRLowerContext): boolean;
+    arrayElemTypeName(arrNode: CodeNode, lctx: LowIRLowerContext): string;
+    nodeIsArrayExpr(node: CodeNode, lctx: LowIRLowerContext): boolean;
+    lowerArrayIndexOf(node: CodeNode, lctx: LowIRLowerContext): string;
+    arrayElemTypeOfTypeName(typeName: string): string;
+    arrayLiteralElemType(nameNode: CodeNode, node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerArrayLiteral(nameNode: CodeNode, node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerArrayLiteralTyped(elemType: string, node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerPush(node: CodeNode, lctx: LowIRLowerContext): void;
+    imapDescFromVref(vref: string, lctx: LowIRLowerContext): string;
+    imapValueKind(vref: string, lctx: LowIRLowerContext): string;
+    imapValueOwnKind(typeName: string): number;
+    smapValueOwnKind(valueTypeName: string): number;
+    lowerSMapKeys(node: CodeNode, lctx: LowIRLowerContext): string;
+    jsonTypeNameOfNode(node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerJsonNew(fnName: string, lctx: LowIRLowerContext): string;
+    lowerJsonGet(node: CodeNode, fnName: string, retIr: string, cRet: string, lctx: LowIRLowerContext): string;
+    lowerJsonSet(node: CodeNode, lctx: LowIRLowerContext): void;
+    lowerJsonPush(node: CodeNode, lctx: LowIRLowerContext): void;
+    lowerJson1(node: CodeNode, fnName: string, cRet: string, lctx: LowIRLowerContext): string;
+    lowerJsonGetValue(node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerJsonCase(node: CodeNode, lctx: LowIRLowerContext): boolean;
+    lowerArraySort(node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerArrayInsert(node: CodeNode, lctx: LowIRLowerContext): void;
+    lowerArrayRemove(node: CodeNode, lctx: LowIRLowerContext): void;
+    lowerArrayRemoveLast(node: CodeNode, lctx: LowIRLowerContext): void;
+    lowerArrayClear(node: CodeNode, lctx: LowIRLowerContext): void;
+    lowerArrayExtract(node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerArrayReverse(node: CodeNode, lctx: LowIRLowerContext): string;
+    arrayElemIsDouble(arrNode: CodeNode, lctx: LowIRLowerContext): boolean;
+    emitPtrArrayNewEmpty(lctx: LowIRLowerContext, elemKind: number): string;
+    ptrArrayOwnedOff(lctx: LowIRLowerContext): number;
+    lowerCollectionMake(node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerCollectionGet(node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerCollectionLen(node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerCollectionHas(node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerCollectionSet(node: CodeNode, lctx: LowIRLowerContext): void;
+    smapDescFromVref(vref: string, lctx: LowIRLowerContext): string;
+    isStringMapVref(vref: string, lctx: LowIRLowerContext): boolean;
+    smapValueKind(vref: string, lctx: LowIRLowerContext): string;
+    smapValueIsInt(vref: string, lctx: LowIRLowerContext): boolean;
+    ptrArrayDescFromVref(vref: string, lctx: LowIRLowerContext): string;
+    emitPtrArrayLen(desc: string, lctx: LowIRLowerContext): string;
+    ptrArrayElemIsInt(arrNode: CodeNode, lctx: LowIRLowerContext): boolean;
+    emitPtrArrayElemGet(desc: string, idx: string, arrNode: CodeNode, lctx: LowIRLowerContext): string;
+    emitPtrArrayElemSet(desc: string, idx: string, val: string, arrNode: CodeNode, lctx: LowIRLowerContext): void;
+    emitPtrArrayRetain(desc: string, lctx: LowIRLowerContext): void;
+    lowerModule(appCtx: RangerAppWriterContext): LowIRModule;
+    lowerFunction(fnDesc: RangerAppFunctionDesc, className: string, appCtx: RangerAppWriterContext, exportFn: boolean, isMain: boolean, isInstance: boolean): void;
+    collectLambdas(appCtx: RangerAppWriterContext): void;
+    collectMethodLambdas(m: RangerAppFunctionDesc, pt: string): void;
+    collectMethodLambdasAt(m: RangerAppFunctionDesc, pt: string, depth: number): void;
+    lambdaCallSig(lam: RangerAppFunctionDesc, pt: string): string;
+    lowerLambdaBodies(appCtx: RangerAppWriterContext): void;
+    lowerLambdaFunction(lam: RangerAppFunctionDesc, fnName: string, appCtx: RangerAppWriterContext): void;
+    lambdaTableIndex(name: string): number;
+    lambdaOwnerClass(lam: RangerAppFunctionDesc, depth: number): string;
+    lambdaCaptureNames(node: CodeNode, lam: RangerAppFunctionDesc): Array<string>;
+    nestedCaptureNames(lam: RangerAppFunctionDesc, depth: number): Array<string>;
+    computeLambdaCaptures(node: CodeNode, lam: RangerAppFunctionDesc, lctx: LowIRLowerContext): LambdaCaptureInfo;
+    lowerLambdaValue(node: CodeNode, lctx: LowIRLowerContext): string;
+    lowerLambdaCall(node: CodeNode, lctx: LowIRLowerContext): string;
+    emitReleaseFieldValue(className: string, fieldName: string, rawVal: string, lctx: LowIRLowerContext): void;
+    releaseOwnedLocal(varName: string, lctx: LowIRLowerContext): void;
+    releaseOwnedString(varName: string, lctx: LowIRLowerContext): void;
+    releaseOwnedCollectionLocal(varName: string, lctx: LowIRLowerContext): void;
+    emitOwnedStringInit(varName: string, valNode: CodeNode, strPtr: string, lctx: LowIRLowerContext): string;
+    emitOwnedStringReassign(varName: string, valNode: CodeNode, strPtr: string, lctx: LowIRLowerContext): string;
+    emitOwnershipSummary(lctx: LowIRLowerContext): void;
+    emitReleaseOwnedLocals(lctx: LowIRLowerContext): void;
+    popReslots(mark: number, lctx: LowIRLowerContext): void;
+    emitLoopBodyReleases(lctx: LowIRLowerContext): void;
+    releaseAndClearOwnedLocal(varName: string, lctx: LowIRLowerContext): void;
+    releaseAndClearOwnedCollection(varName: string, lctx: LowIRLowerContext): void;
+    releaseLoopBodyOwned(ownedBefore: number, ownedStrBefore: number, ownedCollBefore: number, lctx: LowIRLowerContext): void;
+    ensureExternDecl(fnName: string, retType: string, paramTypes: Array<string>, isVararg: boolean): void;
+    ensureLibcExtern(target: LowIRTarget): void;
+    ensureBufferExtern(target: LowIRTarget): void;
+    ensureMemExtern(target: LowIRTarget): void;
+    internStringGlobal(text: string, withNewline: boolean): string;
+    emitIoString(text: string, withNewline: boolean, lctx: LowIRLowerContext): void;
+    lowerWriteFile(node: CodeNode, lctx: LowIRLowerContext): void;
+    ensureIMapExterns(): void;
+    ensureSMapExterns(): void;
+    ensureJsonExtern(fnName: string, retType: string, params: Array<string>): void;
+    tryLowerIntrinsic(fnName: string, argsNode: CodeNode, lctx: LowIRLowerContext): string;
+}
+export declare class LLVMIRWriter {
+    instrLineLen: number;
+    varargNames: Array<string>;
+    varargSigs: Array<string>;
+    constructor();
+    collectVarargFns(module: LowIRModule): void;
+    varargSigFor(fnName: string): string;
+    llTy(t: string): string;
+    normalizeDoubleLit(lit: string): string;
+    hexDigit(d: number): string;
+    hexByte(b: number): string;
+    llvmEscapeCString(text: string): string;
+    writeModule(module: LowIRModule, wr: CodeWriter): void;
+    writeBigStackMain(wr: CodeWriter): void;
+    writeLambdaTable(module: LowIRModule, wr: CodeWriter): void;
+    writeTypeDescs(module: LowIRModule, wr: CodeWriter): void;
+    writeOneTypeDesc(td: LowIRTypeDesc, wr: CodeWriter): void;
+    writeStruct(st: LowIRStruct, wr: CodeWriter): void;
+    writeFunction(fn: LowIRFunction, wr: CodeWriter): void;
+    writeInstr(ins: LowIRInstr, wr: CodeWriter): void;
+    writeInstrBody(ins: LowIRInstr, wr: CodeWriter): void;
+    writeTerminator(bb: LowIRBlock, wr: CodeWriter): void;
+}
+export declare class WATWriter {
+    strAddrs: {
+        [key: string]: number;
+    };
+    typeDescAddrs: {
+        [key: string]: number;
+    };
+    lambdaFuncs: Array<string>;
+    constructor();
+    lambdaFuncIndex(name: string): number;
+    sigTypeName(callSig: string): string;
+    sigTypeDecl(callSig: string): string;
+    utf8Encode(text: string): Array<number>;
+    hexDigit(d: number): string;
+    hexByte(b: number): string;
+    dataEscape(bytes: Array<number>): string;
+    leWord(v: number): string;
+    align4(a: number): number;
+    fieldOwnedFlag(fd: LowIRTypeFieldDesc): number;
+    descHasOwned(td: LowIRTypeDesc): boolean;
+    moduleHasOwnedTypeDescs(module: LowIRModule): boolean;
+    emitStaticData(module: LowIRModule, wr: CodeWriter): void;
     wasmName(llvmName: string): string;
     isGepTemp(name: string): boolean;
     moduleUsesHeap(module: LowIRModule): boolean;
@@ -3587,13 +3954,12 @@ export declare class WATWriter {
     writeInstr(ins: LowIRInstr, wr: CodeWriter): void;
 }
 export declare class RangerLLVMPipeline {
-    constructor();
     generateModule(appCtx: RangerAppWriterContext, wr: CodeWriter): void;
 }
 export declare class RangerLLVMClassWriter extends RangerGenericClassWriter {
     compiler?: LiveCompiler;
     constructor();
-    writeClass(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    writeClass(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
 }
 export declare class OpList {
     list: Array<CodeNode>;
@@ -3608,8 +3974,8 @@ export declare class RangerActiveOperators {
     initialized: boolean;
     constructor();
     fork(fromOperator: CodeNode): RangerActiveOperators;
-    initializeOpCache(): Promise<void>;
-    getOperators(name: string): Promise<Array<CodeNode>>;
+    initializeOpCache(): void;
+    getOperators(name: string): Array<CodeNode>;
     initFrom(main: CodeNode): void;
 }
 export declare class LiveCompiler {
@@ -3624,37 +3990,35 @@ export declare class LiveCompiler {
         [key: string]: boolean;
     };
     constructor();
+    rustWritesTraitClass(cl: RangerAppClassDesc, ctx: RangerAppWriterContext): boolean;
     treeReferencesVRef(node: CodeNode, name: string): boolean;
     initWriter(ctx: RangerAppWriterContext): void;
     EncodeString(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): string;
     WriteScalarValue(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     adjustType(tn: string): string;
-    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    WriteVRef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeTypeDef(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambdaCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateCallExpression(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    CreateLambda(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     getTypeString(str: string, ctx: RangerAppWriterContext): string;
     createPolyfill(location: string, code: string, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     createPolyfillLegacy(code: string, ctx: RangerAppWriterContext, wr: CodeWriter): void;
-    installFile(filename: string, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    findOpCode(op: CodeNode, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    findOpTemplate(op: CodeNode, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<CodeNode> | undefined;
-    localCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<boolean>;
+    installFile(filename: string, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    findOpCode(op: CodeNode, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    findOpTemplate(op: CodeNode, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): CodeNode | undefined;
+    localCall(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): boolean;
     finishWalkNode(wr: CodeWriter): void;
-    WalkNode(node: CodeNode, in_ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    WalkNode(node: CodeNode, in_ctx: RangerAppWriterContext, wr: CodeWriter): void;
     typeNameToIdentifier(ss: string): string;
-    walkCommandList(cmd: CodeNode, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    tmplDelimitedSlot(cmdList: CodeNode, idx: number): boolean;
+    walkCommandList(cmd: CodeNode, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     isMutatingOpName(n: string): boolean;
-    walkCommand(cmd: CodeNode, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    walkCommand(cmd: CodeNode, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     compile(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
     findParamDesc(obj: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): RangerAppParamDesc | undefined;
 }
-export declare class ColorConsole {
-    constructor();
-    out(color: string, str: string): void;
-}
-export declare class CLIProgress {
+export declare class CLIConsole {
     useColors: boolean;
     totalSteps: number;
     currentStep: number;
@@ -3707,28 +4071,51 @@ export declare class CLIProgress {
     printSection(title: string): void;
 }
 export declare class GitSha1 {
-    constructor();
     static mask32(): number;
     static add32(a: number, b: number): number;
     static not32(x: number): number;
     static rotl(x: number, n: number): number;
-    static copyRange(data: Uint8Array, start: number, count: number): Uint8Array;
-    static ascii(data: Uint8Array, start: number, count: number): string;
-    static u32be(data: Uint8Array, i: number): number;
+    static copyRange(data: (ArrayBuffer & {
+        _view: DataView;
+    }), start: number, count: number): (ArrayBuffer & {
+        _view: DataView;
+    });
+    static ascii(data: (ArrayBuffer & {
+        _view: DataView;
+    }), start: number, count: number): string;
+    static u32be(data: (ArrayBuffer & {
+        _view: DataView;
+    }), i: number): number;
     static hexDigit(d: number): string;
-    static toHex(data: Uint8Array): string;
-    static fromHex(hex: string): Uint8Array;
-    static hash(data: Uint8Array): Uint8Array;
-    static writeU32be(out: Uint8Array, i: number, v: number): void;
-    static hashHex(data: Uint8Array): string;
-    static objectId(kind: string, payload: Uint8Array): string;
+    static toHex(data: (ArrayBuffer & {
+        _view: DataView;
+    })): string;
+    static fromHex(hex: string): (ArrayBuffer & {
+        _view: DataView;
+    });
+    static hash(data: (ArrayBuffer & {
+        _view: DataView;
+    })): (ArrayBuffer & {
+        _view: DataView;
+    });
+    static writeU32be(out: (ArrayBuffer & {
+        _view: DataView;
+    }), i: number, v: number): void;
+    static hashHex(data: (ArrayBuffer & {
+        _view: DataView;
+    })): string;
+    static objectId(kind: string, payload: (ArrayBuffer & {
+        _view: DataView;
+    })): string;
     static hexEq(a: string, b: string): boolean;
 }
 export declare class GitPkt {
     ok: boolean;
     err: string;
     lines: Array<string>;
-    raw: Array<Uint8Array>;
+    raw: Array<(ArrayBuffer & {
+        _view: DataView;
+    })>;
     isFlush: Array<boolean>;
     constructor();
 }
@@ -3751,45 +4138,72 @@ export declare class GitWant {
     ok: boolean;
     err: string;
     sha: string;
-    body: Uint8Array;
+    body: (ArrayBuffer & {
+        _view: DataView;
+    });
     constructor();
 }
 export declare class GitSideband {
     ok: boolean;
     err: string;
-    pack: Uint8Array;
+    pack: (ArrayBuffer & {
+        _view: DataView;
+    });
     progress: string;
     constructor();
 }
 export declare class GitPktIO {
-    constructor();
     static hexVal(ch: string): number;
-    static parseHex4(data: Uint8Array, at: number): number;
+    static parseHex4(data: (ArrayBuffer & {
+        _view: DataView;
+    }), at: number): number;
     static hex4(n: number): string;
-    static encodeLine(text: string): Uint8Array;
-    static encodeFlush(): Uint8Array;
-    static parse(data: Uint8Array): GitPkt;
-    static parseAdvertisement(data: Uint8Array): GitAdvertisement;
+    static encodeLine(text: string): (ArrayBuffer & {
+        _view: DataView;
+    });
+    static encodeFlush(): (ArrayBuffer & {
+        _view: DataView;
+    });
+    static parse(data: (ArrayBuffer & {
+        _view: DataView;
+    })): GitPkt;
+    static parseAdvertisement(data: (ArrayBuffer & {
+        _view: DataView;
+    })): GitAdvertisement;
     static findRef(adv: GitAdvertisement, spec: string): string;
     static hasToken(caps: string, name: string): boolean;
-    static joinBuf(parts: Array<Uint8Array>): Uint8Array;
-    static encodeDelim(): Uint8Array;
+    static joinBuf(parts: Array<(ArrayBuffer & {
+        _view: DataView;
+    })>): (ArrayBuffer & {
+        _view: DataView;
+    });
+    static encodeDelim(): (ArrayBuffer & {
+        _view: DataView;
+    });
     static buildWant(adv: GitAdvertisement, spec: string): GitWant;
     static buildWantFetch(sha: string, deepen: number, filter: string, extras: Array<string>): GitWant;
     static buildWantTrees(adv: GitAdvertisement, spec: string): GitWant;
     static buildWantSha(sha: string): GitWant;
     static buildFetchV2(sha: string, deepen: number, filter: string): GitWant;
-    static demux(data: Uint8Array): GitSideband;
-    static indexOfPack(data: Uint8Array): number;
+    static demux(data: (ArrayBuffer & {
+        _view: DataView;
+    })): GitSideband;
+    static indexOfPack(data: (ArrayBuffer & {
+        _view: DataView;
+    })): number;
     static indexOfChar(s: string, code: number): number;
     static trimNl(s: string): string;
 }
 export declare class ZipBuffer {
-    data: Uint8Array;
+    data: (ArrayBuffer & {
+        _view: DataView;
+    });
     pos: number;
     length: number;
     constructor();
-    initWithBuffer(buf: Uint8Array): void;
+    initWithBuffer(buf: (ArrayBuffer & {
+        _view: DataView;
+    })): void;
     initWithSize(size: number): void;
     getPosition(): number;
     setPosition(newPos: number): void;
@@ -3800,25 +4214,37 @@ export declare class ZipBuffer {
     readUint8(): number;
     readUint16LE(): number;
     readUint32LE(): number;
-    readBytes(count: number): Uint8Array;
+    readBytes(count: number): (ArrayBuffer & {
+        _view: DataView;
+    });
     readString(count: number): string;
     peekUint8(): number;
     peekUint32LE(): number;
     writeUint8(value: number): void;
     writeUint16LE(value: number): void;
     writeUint32LE(value: number): void;
-    writeBytes(src: Uint8Array, srcOffset: number, count: number): void;
-    writeBuffer(src: Uint8Array): void;
+    writeBytes(src: (ArrayBuffer & {
+        _view: DataView;
+    }), srcOffset: number, count: number): void;
+    writeBuffer(src: (ArrayBuffer & {
+        _view: DataView;
+    })): void;
     writeString(s: string): void;
-    getBuffer(): Uint8Array;
+    getBuffer(): (ArrayBuffer & {
+        _view: DataView;
+    });
     getLength(): number;
     findSignatureBackward(sig: number, startPos: number): number;
 }
 export declare class GrowableZipBuffer {
-    chunks: Array<Uint8Array>;
+    chunks: Array<(ArrayBuffer & {
+        _view: DataView;
+    })>;
     chunkLens: Array<number>;
     chunkSize: number;
-    currentChunk: Uint8Array;
+    currentChunk: (ArrayBuffer & {
+        _view: DataView;
+    });
     currentPos: number;
     totalSize: number;
     constructor();
@@ -3827,11 +4253,17 @@ export declare class GrowableZipBuffer {
     writeUint8(value: number): void;
     writeUint16LE(value: number): void;
     writeUint32LE(value: number): void;
-    writeBytes(src: Uint8Array, srcOffset: number, count: number): void;
-    writeBuffer(src: Uint8Array): void;
+    writeBytes(src: (ArrayBuffer & {
+        _view: DataView;
+    }), srcOffset: number, count: number): void;
+    writeBuffer(src: (ArrayBuffer & {
+        _view: DataView;
+    })): void;
     writeString(s: string): void;
     getSize(): number;
-    toBuffer(): Uint8Array;
+    toBuffer(): (ArrayBuffer & {
+        _view: DataView;
+    });
 }
 export declare class InflateHuffmanTable {
     counts: Array<number>;
@@ -3842,13 +4274,17 @@ export declare class InflateHuffmanTable {
     decode(reader: InflateBitReader): number;
 }
 export declare class InflateBitReader {
-    data: Uint8Array;
+    data: (ArrayBuffer & {
+        _view: DataView;
+    });
     bytePos: number;
     bitPos: number;
     currentByte: number;
     dataLength: number;
     constructor();
-    init(buf: Uint8Array, offset: number, length: number): void;
+    init(buf: (ArrayBuffer & {
+        _view: DataView;
+    }), offset: number, length: number): void;
     readBit(): number;
     readBits(count: number): number;
     alignToByte(): void;
@@ -3858,9 +4294,13 @@ export declare class InflateBitReader {
     isEOF(): boolean;
 }
 export declare class Inflate {
-    input: Uint8Array;
+    input: (ArrayBuffer & {
+        _view: DataView;
+    });
     reader: InflateBitReader;
-    outBuf: Uint8Array;
+    outBuf: (ArrayBuffer & {
+        _view: DataView;
+    });
     outLen: number;
     outCap: number;
     fixedLitLen: InflateHuffmanTable;
@@ -3874,11 +4314,21 @@ export declare class Inflate {
     resetOutput(hint: number): void;
     ensureCapacity(extra: number): void;
     pushByte(b: number): void;
-    finalOutput(): Uint8Array;
+    finalOutput(): (ArrayBuffer & {
+        _view: DataView;
+    });
     buildLengthDistTables(): void;
     buildFixedTables(): void;
-    decompress(data: Uint8Array): Uint8Array;
-    decompressFrom(data: Uint8Array, offset: number): Uint8Array;
+    decompress(data: (ArrayBuffer & {
+        _view: DataView;
+    })): (ArrayBuffer & {
+        _view: DataView;
+    });
+    decompressFrom(data: (ArrayBuffer & {
+        _view: DataView;
+    }), offset: number): (ArrayBuffer & {
+        _view: DataView;
+    });
     inputPos(): number;
     decompressStored(): void;
     decompressHuffman(litLenTable: InflateHuffmanTable, distTable: InflateHuffmanTable): void;
@@ -3890,13 +4340,23 @@ export declare class GitZlib {
     err: string;
     nextPos: number;
     constructor();
-    inflateAt(data: Uint8Array, offset: number): Uint8Array;
-    inflate(data: Uint8Array): Uint8Array;
+    inflateAt(data: (ArrayBuffer & {
+        _view: DataView;
+    }), offset: number): (ArrayBuffer & {
+        _view: DataView;
+    });
+    inflate(data: (ArrayBuffer & {
+        _view: DataView;
+    })): (ArrayBuffer & {
+        _view: DataView;
+    });
 }
 export declare class GitObj {
     kind: number;
     sha: string;
-    data: Uint8Array;
+    data: (ArrayBuffer & {
+        _view: DataView;
+    });
     packOff: number;
     resolved: boolean;
     delta: boolean;
@@ -3919,14 +4379,22 @@ export declare class GitPack {
     constructor();
 }
 export declare class GitDelta {
-    constructor();
-    static varInt(data: Uint8Array, pos: Array<number>): number;
-    static apply(src: Uint8Array, delta: Uint8Array): Uint8Array;
+    static varInt(data: (ArrayBuffer & {
+        _view: DataView;
+    }), pos: Array<number>): number;
+    static apply(src: (ArrayBuffer & {
+        _view: DataView;
+    }), delta: (ArrayBuffer & {
+        _view: DataView;
+    })): (ArrayBuffer & {
+        _view: DataView;
+    });
 }
 export declare class GitPackIO {
-    constructor();
     static kindName(kind: number): string;
-    static parse(data: Uint8Array): GitPack;
+    static parse(data: (ArrayBuffer & {
+        _view: DataView;
+    })): GitPack;
     static resolveDeltas(pack: GitPack): void;
     static lookup(pack: GitPack, sha: string): GitObj | undefined;
     static merge(a: GitPack, b: GitPack): GitPack;
@@ -3940,7 +4408,9 @@ export declare class GitEntry {
 }
 export declare class GitFile {
     path: string;
-    data: Uint8Array;
+    data: (ArrayBuffer & {
+        _view: DataView;
+    });
     constructor();
 }
 export declare class GitTree {
@@ -3962,8 +4432,12 @@ export declare class GitStore {
     err: string;
     constructor(p: GitPack);
     takeObj(sha: string): GitObj | undefined;
-    parseTree(payload: Uint8Array): GitTree;
-    commitTree(payload: Uint8Array): string;
+    parseTree(payload: (ArrayBuffer & {
+        _view: DataView;
+    })): GitTree;
+    commitTree(payload: (ArrayBuffer & {
+        _view: DataView;
+    })): string;
     checkout(sha: string, subdir: string): GitMem;
     walk(mem: GitMem, treeSha: string, prefix: string, want: string): void;
     mayEnter(path: string, want: string): boolean;
@@ -4040,7 +4514,6 @@ export declare class PkgLock {
     constructor();
 }
 export declare class PkgManifestIO {
-    constructor();
     static load(src: string): PkgManifest;
     static loadLock(src: string): PkgLock;
     static escape(s: string): string;
@@ -4048,7 +4521,6 @@ export declare class PkgManifestIO {
     static dumpManifest(m: PkgManifest): string;
 }
 export declare class PkgCache {
-    constructor();
     static lessStr(a: string, b: string): boolean;
     static hashMem(mem: GitMem): string;
     static put(mem: GitMem, cacheRoot: string): string;
@@ -4088,28 +4560,40 @@ export declare class PkgFetch {
     fetchInto(name: string, url: string, wantRev: string, subdir: string): string;
     storeMem(mem: GitMem): string;
     cachedFor(env: InputEnv, name: string, git: string, rev: string, subdir: string): string;
-    install(env: InputEnv, manDir: string): Promise<boolean>;
-    oneDep(env: InputEnv, pending: Array<PkgFetchWork>, w: PkgFetchWork, d: PkgDep): Promise<boolean>;
+    install(env: InputEnv, manDir: string): boolean;
+    oneDep(env: InputEnv, pending: Array<PkgFetchWork>, w: PkgFetchWork, d: PkgDep): boolean;
     static findHttpTool(env: InputEnv): string;
     static splitPath(path: string): Array<string>;
-    static readBytes(path: string): Uint8Array;
-    static writeBytes(path: string, data: Uint8Array): void;
+    static readBytes(path: string): (ArrayBuffer & {
+        _view: DataView;
+    });
+    static writeBytes(path: string, data: (ArrayBuffer & {
+        _view: DataView;
+    })): void;
     static loadPack(path: string): GitPack;
 }
 export declare class RangerDocGenerator {
-    constructor();
-    writeTypeDef(item: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeArgDefs(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    createClassDoc(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
-    writeOpDesc(item: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeTypeDoc(list: Array<RangerAppOperatorDesc>, tester: (item: RangerAppOperatorDesc) => boolean, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    createOperatorDoc(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
+    writeTypeDef(item: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeArgDefs(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    createClassDoc(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
+    writeOpDesc(item: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    writeTypeDoc(list: Array<RangerAppOperatorDesc>, tester: (item: RangerAppOperatorDesc) => boolean, ctx: RangerAppWriterContext, wr: CodeWriter): void;
+    createOperatorDoc(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): void;
 }
 export declare class StaticAnalyzer {
     ctx?: RangerAppWriterContext;
     currentFunction?: RangerAppFunctionDesc;
     currentClass?: RangerAppClassDesc;
     debug: boolean;
+    strictStringsTotal: number;
+    strictStringsRisky: number;
+    strictStringsSafe: number;
+    strictStringsGuards: number;
+    strictStringsNotes: Array<string>;
+    strictStringsFiles: {
+        [key: string]: number;
+    };
+    strictStringsFileOrder: Array<string>;
     mutatingOps: {
         [key: string]: boolean;
     };
@@ -4182,6 +4666,11 @@ export declare class StaticAnalyzer {
     reportOwnershipClass(cl: RangerAppClassDesc): void;
     analyzeOwnership(fn: RangerAppFunctionDesc): void;
     analyzeOwnershipClass(cl: RangerAppClassDesc): void;
+    unionMemberIsMutatedName(v: string): boolean;
+    nodeRootHasType(node: CodeNode, typeName: string): boolean;
+    treeMutatesType(node: CodeNode, typeName: string): boolean;
+    unionMemberIsMutated(typeName: string): boolean;
+    scanFnsForMutation(fns: Array<RangerAppFunctionDesc>, typeName: string): boolean;
     unionMemberIsScalarOnly(typeName: string): boolean;
     markClassShared(typeName: string, reason: string): void;
     classNameOfDesc(p: RangerAppParamDesc): string;
@@ -4193,17 +4682,102 @@ export declare class StaticAnalyzer {
     nameIn(name: string, names: Array<string>): boolean;
     varIsMutated(name: string, fnCtx: RangerAppWriterContext, mutated: Array<string>): boolean;
     readsStoredObject(node: CodeNode): boolean;
-    walkForSharing(node: CodeNode, fnCtx: RangerAppWriterContext, fnName: string, mutated: Array<string>): void;
+    nodeNamesLocal(node: CodeNode, name: string): boolean;
+    nameUsedAfter(node: CodeNode, name: string, afterSp: number): boolean;
+    nameIsAliased(node: CodeNode, name: string): boolean;
+    countDefsOfName(node: CodeNode, name: string): number;
+    findDefOfName(node: CodeNode, name: string): CodeNode | undefined;
+    nearestBlockSp(node: CodeNode): number;
+    storeIsLocalMove(body: CodeNode, storeNode: CodeNode, stored: CodeNode, name: string, fnCtx: RangerAppWriterContext): boolean;
+    walkForSharing(body: CodeNode, node: CodeNode, fnCtx: RangerAppWriterContext, fnName: string, mutated: Array<string>): void;
     markIdenticalOperandsShared(node: CodeNode, fnName: string): void;
     analyzeClassSharingFn(fn: RangerAppFunctionDesc): void;
     analyzeClassSharing(): void;
+    foldObjectInitsAll(): void;
+    foldObjectInitsFn(fn: RangerAppFunctionDesc): void;
+    foldObjectInitsIn(body: CodeNode, node: CodeNode, fnCtx: RangerAppWriterContext): void;
+    countNameUses(node: CodeNode, name: string): number;
+    plainNewClassName(value: CodeNode): string;
+    classTakesFoldedInit(cl: RangerAppClassDesc): boolean;
+    nodeHasEffect(node: CodeNode): boolean;
+    classHasField(cl: RangerAppClassDesc, name: string): boolean;
+    tryFoldObjectInit(body: CodeNode, block: CodeNode, idx: number, fnCtx: RangerAppWriterContext): void;
     reportClassSharing(): void;
     sharedClassOfDesc(p: RangerAppParamDesc): string;
     markDescRcWrap(p: RangerAppParamDesc): void;
     walkForSharedLocals(node: CodeNode): void;
-    fnUsesThisValue(fn: RangerAppFunctionDesc): Promise<boolean>;
-    fnSelfCallsNeedy(fn: RangerAppFunctionDesc): Promise<boolean>;
-    computeSelfRcNeeds(): Promise<void>;
+    fnUsesThisValue(fn: RangerAppFunctionDesc): boolean;
+    fnSelfCallsNeedy(fn: RangerAppFunctionDesc): boolean;
+    stringIsAsciiOnly(s: string): boolean;
+    strictStringsOpKind(name: string): string;
+    ssSubjectName(n: CodeNode): string;
+    ssUnwrap(n: CodeNode): CodeNode;
+    ssIsIntLiteral(n: CodeNode): boolean;
+    ssIsZeroLiteral(n: CodeNode): boolean;
+    ssIsCodePointLabel(lbl: string): boolean;
+    ssMergeTaint(a: string, b: string): string;
+    ssIsCountOp(name: string): boolean;
+    ssIsArith(name: string): boolean;
+    ssIsCompare(name: string): boolean;
+    ssTaintOf(nRaw: CodeNode, taint: {
+        [key: string]: string;
+    }): string;
+    ssTieBound(vRaw: CodeNode, bound: CodeNode, taint: {
+        [key: string]: string;
+    }): void;
+    ssTaintWalk(node: CodeNode, taint: {
+        [key: string]: string;
+    }, indexed: {
+        [key: string]: boolean;
+    }, zeroTested: {
+        [key: string]: boolean;
+    }, litGuarded: {
+        [key: string]: boolean;
+    }): void;
+    ssCollectVars(n: CodeNode, out: {
+        [key: string]: boolean;
+    }): void;
+    ssRefsAny(n: CodeNode, names: {
+        [key: string]: boolean;
+    }): boolean;
+    ssCollectLabels(n: CodeNode, taint: {
+        [key: string]: string;
+    }, out: {
+        [key: string]: boolean;
+    }): void;
+    ssIndexVarWalk(node: CodeNode, idxVars: {
+        [key: string]: boolean;
+    }): void;
+    ssBoundWalk(node: CodeNode, taint: {
+        [key: string]: string;
+    }, idxVars: {
+        [key: string]: boolean;
+    }, indexed: {
+        [key: string]: boolean;
+    }): void;
+    ssNoteGuard(v: CodeNode, lit: CodeNode, taint: {
+        [key: string]: string;
+    }, zeroTested: {
+        [key: string]: boolean;
+    }, litGuarded: {
+        [key: string]: boolean;
+    }): void;
+    ssReportWalk(node: CodeNode, fnName: string, taint: {
+        [key: string]: string;
+    }, indexed: {
+        [key: string]: boolean;
+    }, zeroTested: {
+        [key: string]: boolean;
+    }, litGuarded: {
+        [key: string]: boolean;
+    }, sizeTest: boolean, fnUnits: boolean): void;
+    strictStringsScanFns(fns: Array<RangerAppFunctionDesc>, clName: string): void;
+    analyzeStringIndexing(): void;
+    computeTraitReentrancy(): void;
+    treeCallsThroughField(node: CodeNode, fieldName: string): boolean;
+    classCallsThroughField(cl: RangerAppClassDesc, fieldName: string): boolean;
+    classHasBackReference(cl: RangerAppClassDesc): boolean;
+    computeSelfRcNeeds(): void;
     markLambdaParamsRec(fn: RangerAppFunctionDesc): void;
     applySharedClassRcWrap(): void;
     rustParamHasRefSemantics(param: RangerAppParamDesc): boolean;
@@ -4217,26 +4791,918 @@ export declare class StaticAnalyzer {
     rssWalkFn(fn: RangerAppFunctionDesc): void;
     analyzeRustStaticStrings(): void;
     applyOwnershipToRustBorrowsFn(cl: RangerAppClassDesc, fn: RangerAppFunctionDesc): void;
+    settleRustNativeGenerics(): void;
+    rustGenericFormFits(f: RangerAppClassDesc, members: Array<RangerAppClassDesc>): boolean;
+    rustParamNamesTypeParam(p: RangerAppParamDesc): boolean;
+    rustSettleGenericParams(fm: RangerAppFunctionDesc, im: RangerAppFunctionDesc): void;
     applyOwnershipToRustBorrows(): void;
     analyzeOwnershipAll(strict: boolean): void;
     analyzeAll(): void;
 }
-export declare class viewbuilder_Android {
+export declare class RustNode {
+    kind: string;
+    name: string;
+    value: string;
+    mods: Array<string>;
+    kids: Array<RustNode>;
+    attrs: Array<RustNode>;
+    start: number;
+    end: number;
+    line: number;
+    col: number;
+    constructor(k: string);
+    add(n: RustNode): RustNode;
+    addMod(m: string): void;
+    hasMod(m: string): boolean;
+    kid(idx: number): RustNode;
+    isNone(): boolean;
+    dump(indent: string): string;
+    static quote(s: string): string;
+    static needsQuote(s: string): boolean;
+}
+export declare class RustToken {
+    kind: string;
+    text: string;
+    value: string;
+    suffix: string;
+    raw: boolean;
+    joint: boolean;
+    start: number;
+    end: number;
+    line: number;
+    col: number;
     constructor();
-    _attr(wr: CodeWriter, name: string, value: string): void;
-    elWithText(name: string, node: CodeNode, wr: CodeWriter): Promise<void>;
-    WalkNode(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeClass(node: CodeNode, ctx: RangerAppWriterContext, orig_wr: CodeWriter): Promise<void>;
+    is(k: string, t: string): boolean;
 }
-export declare class viewbuilder_Web {
+export declare class RustLexer {
+    src: string;
+    buf: Uint8Array;
+    __len: number;
+    i: number;
+    line: number;
+    line_start: number;
+    tokens: Array<RustToken>;
+    errors: Array<string>;
+    constructor(source: string);
+    error(msg: string): void;
+    at(p: number): number;
+    text(a: number, b: number): string;
+    newToken(kind: string, a: number): RustToken;
+    countLines(a: number, b: number): void;
+    tokenize(): Array<RustToken>;
+    lineComment(): void;
+    blockComment(): void;
+    tryPrefixedLiteral(): boolean;
+    rawString(a: number, prefix: string): boolean;
+    ident(): void;
+    number(): void;
+    digits(): void;
+    quoted(a: number, prefix: string): void;
+    literalSuffix(t: RustToken): void;
+    charOrLifetime(): void;
+    charLiteral(a: number, prefix: string): void;
+    unescape(a: number, b: number): string;
+    punct(): void;
+    markJoint(t: RustToken): void;
+    static isIdentStart(c: number): boolean;
+    static isIdentChar(c: number): boolean;
+    static isDigit(c: number): boolean;
+    static isHexDigit(c: number): boolean;
+    static hexValue(c: number): number;
+}
+export declare class RustParser {
+    lx?: RustLexer;
+    toks: Array<RustToken>;
+    pos: number;
+    limit: number;
+    errors: Array<string>;
+    noStruct: boolean;
+    eofTok: RustToken;
+    constructor(source: string);
+    tok(): RustToken;
+    peek(k: number): RustToken;
+    eofAt(p: number): RustToken;
+    tokText(): string;
+    tokKind(): string;
+    tokValue(): string;
+    peekKind(k: number): string;
+    atEnd(): boolean;
+    isP(s: string): boolean;
+    isPAt(k: number, s: string): boolean;
+    isKw(s: string): boolean;
+    isKwAt(k: number, s: string): boolean;
+    gluedAt(k: number): string;
+    glued(): string;
+    isOp(s: string): boolean;
+    eatPrefix(s: string): boolean;
+    eatOp(s: string): boolean;
+    eatP(s: string): boolean;
+    eatKw(s: string): boolean;
+    error(msg: string): void;
+    expectP(s: string): void;
+    expectOp(s: string): void;
+    expectKw(s: string): void;
+    node(kind: string): RustNode;
+    nodeAt(kind: string, from: RustNode): RustNode;
+    done(n: RustNode): RustNode;
+    none(): RustNode;
+    identText(): string;
+    matchingClose(from: number): number;
+    textOf(a: number, b: number): string;
+    parseNativeArms(): RustNode;
+    parseFile(): RustNode;
+    innerAttrs(owner: RustNode): void;
+    outerAttrs(): Array<RustNode>;
+    parseAttr(): RustNode;
+    parseVis(): string;
+    isItemStart(): boolean;
+    parseItem(): RustNode;
+    parseItemNoAttrs(): RustNode;
+    parseItemKind(): RustNode;
+    parseItemDispatch(): RustNode;
+    parseFn(): RustNode;
+    parseParams(): RustNode;
+    parseParam(): RustNode;
+    parseGenerics(): RustNode;
+    parseWhere(): RustNode;
+    parseStruct(): RustNode;
+    parseNamedFields(): RustNode;
+    parseTupleFields(): RustNode;
+    parseEnum(): RustNode;
+    parseTrait(): RustNode;
+    parseImpl(): RustNode;
+    looksLikeQPathAfterImpl(): boolean;
+    parseAssocItems(owner: RustNode): void;
+    parseMod(): RustNode;
+    parseUse(): RustNode;
+    parseUseTree(): RustNode;
+    parseTypeAlias(): RustNode;
+    parseConstStatic(kind: string): RustNode;
+    parseExternCrate(): RustNode;
+    parseExternBlock(abi: string): RustNode;
+    parseMacroRules(): RustNode;
+    parseType(): RustNode;
+    parseTypeNoBounds(): RustNode;
+    parseTypeImpl(allowPlus: boolean): RustNode;
+    isOpAtPath(k: number): boolean;
+    continueBounds(first: RustNode): RustNode;
+    parseFnType(): RustNode;
+    parseBounds(): RustNode;
+    parseBoundList(allowPlus: boolean): Array<RustNode>;
+    parseBound(): RustNode;
+    parsePath(inType: boolean): RustNode;
+    isFnSugarSegment(name: string): boolean;
+    parseFnSugarArgs(): RustNode;
+    parseQPath(inType: boolean): RustNode;
+    parseGenericArgs(): RustNode;
+    parseTypeOrConst(): RustNode;
+    parseConstArg(): RustNode;
+    parsePattern(): RustNode;
+    parsePatternNoAlt(): RustNode;
+    startsRangeEnd(): boolean;
+    parsePatternAtom(): RustNode;
+    isOpAt1Path(): boolean;
+    startsRangeEndAfter(k: number): boolean;
+    parseBlock(): RustNode;
+    parseStatement(): RustNode;
+    parseStatementNoAttrs(): RustNode;
+    continueBinary(left: RustNode): RustNode;
+    parseLet(): RustNode;
+    startsBlockLike(): boolean;
+    parseExpr(): RustNode;
+    parseExprNoStruct(): RustNode;
+    parseAssign(): RustNode;
+    parseAssignRest(left: RustNode): RustNode;
+    parseRange(): RustNode;
+    parseRangeRest(lo: RustNode): RustNode;
+    startsExpr(): boolean;
+    parseBin(minPrec: number): RustNode;
+    parseBinRest(left0: RustNode, minPrec: number): RustNode;
+    parseCast(): RustNode;
+    parseUnary(): RustNode;
+    parsePostfix(e0: RustNode): RustNode;
+    parseCallArgs(owner: RustNode): void;
+    parseLiteral(): RustNode;
+    parseBlockLike(): RustNode;
+    parseBlockLikeInner(): RustNode;
+    parseIf(): RustNode;
+    parseCond(): RustNode;
+    parseCondOr(): RustNode;
+    parseCondAnd(): RustNode;
+    parseCondAtom(): RustNode;
+    parseMatch(): RustNode;
+    parseClosure(): RustNode;
+    parsePrimary(): RustNode;
+    parsePathExpr(): RustNode;
+    parseStructLit(p: RustNode, start: RustNode): RustNode;
+    parseMacroCall(p: RustNode): RustNode;
+    tryParseMacroArgs(m: RustNode, a: number, b: number): void;
+    static isKnownOp(s: string): boolean;
+    static assignOp(op: string): boolean;
+    static binPrec(op: string): number;
+    static isExprMacro(name: string): boolean;
+}
+export declare class RsType {
+    kind: string;
+    name: string;
+    args: Array<RsType>;
+    isRef: boolean;
+    isMutRef: boolean;
+    weak: boolean;
+    shared: boolean;
+    isDyn: boolean;
+    late: boolean;
+    constructor(k: string);
+    arg(i: number): RsType;
+    is(k: string): boolean;
+    isUnknown(): boolean;
+    isPrim(): boolean;
+    copy(): RsType;
+    key(): string;
+    sameAs(o: RsType): boolean;
+    rust(): string;
+    static mk(k: string): RsType;
+    static named(n: string): RsType;
+    static of1(k: string, a: RsType): RsType;
+    static of2(k: string, a: RsType, b: RsType): RsType;
+}
+export declare class RsField {
+    name: string;
+    ty: RsType;
+    node?: RustNode;
+    constructor();
+}
+export declare class RsParam {
+    name: string;
+    ty: RsType;
+    pat?: RustNode;
+    boxed: boolean;
     constructor();
-    _attr(wr: CodeWriter, name: string, value: string): void;
-    tagAttrs(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    tagText(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    tag(name: string, node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    WalkNode(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    CreateViews(ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
-    writeClass(node: CodeNode, ctx: RangerAppWriterContext, wr: CodeWriter): Promise<void>;
+    static unknown(): RsParam;
+}
+export declare class RsFn {
+    name: string;
+    rname: string;
+    generics: Array<string>;
+    bounds: {
+        [key: string]: string;
+    };
+    params: Array<RsParam>;
+    ret: RsType;
+    hasSelf: boolean;
+    selfMut: boolean;
+    selfByValue: boolean;
+    owner: string;
+    fromTrait: string;
+    hasBody: boolean;
+    ownerGenerics: Array<string>;
+    node?: RustNode;
+    modKey: string;
+    modCls: string;
+    rgrCtor: boolean;
+    statName: string;
+    constructor();
+}
+export declare class RsVariant {
+    name: string;
+    shape: string;
+    fields: Array<RsField>;
+    disc: number;
+    constructor();
+}
+export declare class RsStruct {
+    name: string;
+    generics: Array<string>;
+    fields: Array<RsField>;
+    isTuple: boolean;
+    derives: Array<string>;
+    methods: Array<RsFn>;
+    traits: Array<string>;
+    node?: RustNode;
+    rgr: boolean;
+    serialize: boolean;
+    constructor();
+    derivesTrait(t: string): boolean;
+    field(n: string): RsField | undefined;
+    method(n: string): RsFn | undefined;
+}
+export declare class RsEnum {
+    name: string;
+    generics: Array<string>;
+    variants: Array<RsVariant>;
+    plain: boolean;
+    derives: Array<string>;
+    methods: Array<RsFn>;
+    traits: Array<string>;
+    node?: RustNode;
+    constructor();
+    variant(n: string): RsVariant | undefined;
+    method(n: string): RsFn | undefined;
+}
+export declare class RsTrait {
+    name: string;
+    methods: Array<RsFn>;
+    implementors: Array<string>;
+    constructor();
+    method(n: string): RsFn | undefined;
+}
+export declare class RsConst {
+    name: string;
+    ty: RsType;
+    node?: RustNode;
+    modKey: string;
+    modCls: string;
+    constructor();
+}
+export declare class RsLocal {
+    name: string;
+    rname: string;
+    ty: RsType;
+    moved: boolean;
+    movedLine: number;
+    movedCol: number;
+    order: number;
+    isAlias: boolean;
+    iterVec: string;
+    iterIdx: string;
+    slotMap: string;
+    slotKey: string;
+    slotTy: RsType;
+    constructor();
+}
+export declare class RsScope {
+    vars: {
+        [key: string]: RsLocal;
+    };
+    parent?: RsScope;
+    constructor();
+    lookup(n: string): RsLocal | undefined;
+}
+export declare class RsExpr {
+    code: string;
+    ty: RsType;
+    simple: boolean;
+    constructor();
+    static of(c: string, t: RsType): RsExpr;
+}
+export declare class RsInst {
+    name: string;
+    fnDef?: RsFn;
+    ty: RsType;
+    env: {
+        [key: string]: RsType;
+    };
+    constructor();
+}
+export declare class RustOut {
+    lines: Array<string>;
+    ind: string;
+    constructor();
+    line(s: string): void;
+    indent(): void;
+    dedent(): void;
+    addAll(other: Array<string>): void;
+    addIndented(other: Array<string>, baseInd: string): void;
+    text(): string;
+}
+export declare class RustReserved {
+    static build(): {
+        [key: string]: boolean;
+    };
+    static operatorNames(): {
+        [key: string]: boolean;
+    };
+}
+export declare class RustPreludeOps {
+    static arities(): {
+        [key: string]: number;
+    };
+    static returns(): {
+        [key: string]: string;
+    };
+}
+export declare class RustDocParam {
+    name: string;
+    text: string;
+    constructor();
+}
+export declare class RustDocInfo {
+    description: string;
+    params: Array<RustDocParam>;
+    returns: string;
+    throws: Array<string>;
+    see: Array<string>;
+    literalExamples: Array<string>;
+    codeExamples: Array<string>;
+    exampleNames: Array<string>;
+    isPublic: boolean;
+    isInternal: boolean;
+    isExperimental: boolean;
+    since: string;
+    category: string;
+    platform: string;
+    deprecated: boolean;
+    depSince: string;
+    depNote: string;
+    depUse: string;
+    constructor();
+    isEmpty(): boolean;
+}
+export declare class RustDocReader {
+    static lit(s: string): string;
+    static unquote(s0: string): string;
+    static attrArgs(value: string): {
+        [key: string]: string;
+    };
+    static docLines(attrs: Array<RustNode>): Array<string>;
+    static joinTrim(lines: Array<string>): string;
+    static readParams(info: RustDocInfo, lines: Array<string>): void;
+    static readExamples(info: RustDocInfo, lines: Array<string>, textOut: Array<string>): void;
+    static readLinks(info: RustDocInfo, text0: string): void;
+    static read(attrs: Array<RustNode>, isPub: boolean): RustDocInfo;
+    static tail(info: RustDocInfo, ind: string): string;
+}
+export declare class RsRgrScan {
+    errors: Array<string>;
+    classes: Array<RsStruct>;
+    constructor();
+    scan(src: string, file: string): void;
+    defaultCtor(c: RsStruct): void;
+    stripComment(s: string): string;
+    braceDelta(s: string): number;
+    startsWord(line: string, w: string): boolean;
+    wordAt(line: string, from: number): string;
+    nameType(decl: string): Array<string>;
+    firstToken(s: string): string;
+    rsType(t: string): RsType;
+    withOpt(t: RsType, opt: string): RsType;
+    params(line: string): Array<RsParam>;
+    member(c: RsStruct, line: string, file: string, ln: number): void;
+}
+export declare class RustLower {
+    errors: Array<string>;
+    fileName: string;
+    ownerGenerics: Array<string>;
+    fnBoundTypes: {
+        [key: string]: RsType;
+    };
+    selfArgs: Array<RsType>;
+    fnInstQueue: Array<RsInst>;
+    fnInstNames: {
+        [key: string]: boolean;
+    };
+    structInstQueue: Array<RsInst>;
+    structInstNames: {
+        [key: string]: boolean;
+    };
+    dynQueue: Array<string>;
+    dynNames: {
+        [key: string]: boolean;
+    };
+    modClass: string;
+    curMod: string;
+    modRoots: Array<RustNode>;
+    modKeys: Array<string>;
+    modFiles: Array<string>;
+    modDirs: Array<string>;
+    modClasses: {
+        [key: string]: string;
+    };
+    modFileOf: {
+        [key: string]: string;
+    };
+    pendingKeys: Array<string>;
+    pendingDirs: Array<string>;
+    pendingNames: Array<string>;
+    pendingNodes: Array<RustNode>;
+    pendingPos: number;
+    usesJson: boolean;
+    jsonN: number;
+    nativeN: number;
+    target: string;
+    declLate: boolean;
+    pendingFiles: Array<string>;
+    rgrImports: Array<string>;
+    entryName: string;
+    fnAlias: {
+        [key: string]: string;
+    };
+    preludeOps: {
+        [key: string]: number;
+    };
+    preludeRets: {
+        [key: string]: string;
+    };
+    preludeLoaded: boolean;
+    structs: {
+        [key: string]: RsStruct;
+    };
+    structOrder: Array<string>;
+    enums: {
+        [key: string]: RsEnum;
+    };
+    enumOrder: Array<string>;
+    traits: {
+        [key: string]: RsTrait;
+    };
+    traitOrder: Array<string>;
+    fns: {
+        [key: string]: RsFn;
+    };
+    fnOrder: Array<string>;
+    consts: {
+        [key: string]: RsConst;
+    };
+    constOrder: Array<string>;
+    aliases: {
+        [key: string]: RustNode;
+    };
+    reserved: {
+        [key: string]: boolean;
+    };
+    localReserved: {
+        [key: string]: boolean;
+    };
+    genNames: {
+        [key: string]: boolean;
+    };
+    genOut: Array<string>;
+    hoisted: Array<string>;
+    out: RustOut;
+    scope: RsScope;
+    used: {
+        [key: string]: boolean;
+    };
+    tmpN: number;
+    selfType: string;
+    retType: RsType;
+    loopVals: Array<string>;
+    loopLabels: Array<string>;
+    loopFlags: Array<string>;
+    loopFlagKind: Array<string>;
+    genericEnv: {
+        [key: string]: RsType;
+    };
+    fnLocals: Array<RsLocal>;
+    clonerOut: Array<string>;
+    moduleDoc: RustDocInfo;
+    docExamples: {
+        [key: string]: string;
+    };
+    fnNameOverride: string;
+    hoistQueue: Array<RsFn>;
+    tempTypes: {
+        [key: string]: RsType;
+    };
+    flagTargets: {
+        [key: string]: string;
+    };
+    pendingFlags: Array<string>;
+    forPat?: RustNode;
+    forBody?: RustNode;
+    armBefore: Array<RsLocal>;
+    armAcc: Array<RsLocal>;
+    armAny: boolean;
+    variantAliases: {
+        [key: string]: string;
+    };
+    optInCollectionReported: boolean;
+    lastVecName: string;
+    lastReturn: RsType;
+    lastEntry: RsExpr;
+    displayFormatter: string;
+    lastCaptured: Array<string>;
+    lastCapturedInd: string;
+    loopStart: number;
+    loopInd: string;
+    noMoveCheck: boolean;
+    iterRoots: Array<string>;
+    constructor();
+    err(n: RustNode, msg: string): void;
+    unsupported(n: RustNode, what: string): void;
+    staticName(n: string): string;
+    methodName(n: string): string;
+    fieldName(n: string): string;
+    className(n: string): string;
+    tmp(base: string): string;
+    allocLocal(n: string): string;
+    declare(n: string, t: RsType): RsLocal;
+    alias(n: string, code: string, t: RsType): RsLocal;
+    pushScope(): void;
+    popScope(): void;
+    translate(src: string, name: string): string;
+    begin(src: string, name: string): void;
+    setEntryName(name: string): void;
+    registerModule(root: RustNode, key: string, file: string, dir: string): void;
+    setTarget(t: string): void;
+    targetKeeps(it: RustNode): boolean;
+    filterTargets(root: RustNode, first: number): void;
+    isImportRgr(name: string): boolean;
+    macroString(m: RustNode): string;
+    hasPendingModule(): boolean;
+    nextModuleFiles(): Array<string>;
+    addModule(path: string, src: string): void;
+    addRgr(path: string, src: string, at: RustNode): void;
+    moduleNotFound(): void;
+    finish(): string;
+    moduleClassOf(key: string): string;
+    fnKey(mod: string, name: string): string;
+    parentMod(mod: string): string;
+    resolveItem(segs: Array<string>, table: string): string;
+    modPath(segs: Array<string>, from: string): string;
+    hasItem(key: string, table: string): boolean;
+    deriveList(attrs: Array<RustNode>): Array<string>;
+    genericNames(g: RustNode): Array<string>;
+    collectModules(): void;
+    enterModule(i: number): void;
+    collectNames(root: RustNode): void;
+    collectRest(): void;
+    retarget(m: RsFn, owner: string): RsFn;
+    collectItem(it: RustNode): void;
+    fieldMarkers(f: RustNode, rf: RsField, s: RsStruct): void;
+    hasStructAttr(s: RsStruct, name: string): boolean;
+    noteTraitImpl(traitName: string, owner: string, it: RustNode): void;
+    fnSig(m: RustNode, owner: string): RsFn;
+    isFnBound(b: RustNode): boolean;
+    typeNameOf(t: RustNode): string;
+    typeOf(t: RustNode): RsType;
+    typeOfIn(t: RustNode, generics: Array<string>): RsType;
+    retTypeOf(ret: RustNode, generics: Array<string>): RsType;
+    segArgs(seg: RustNode, generics: Array<string>): Array<RsType>;
+    pathType(p: RustNode, generics: Array<string>, at: RustNode): RsType;
+    argOr(args: Array<RsType>, i: number): RsType;
+    rtype(t: RsType): string;
+    declText(rname: string, t: RsType): string;
+    isCopyStruct(t: RsType): boolean;
+    tupleClass(t: RsType): string;
+    mangleKey(t: RsType): string;
+    fieldDecl(name: string, t: RsType): string;
+    defaultValue(t: RsType): string;
+    zeroCode(t: RsType): string;
+    tempDecl(name: string, t: RsType): string;
+    cloneCode(code: string, t: RsType): string;
+    collectionCloner(t: RsType): string;
+    instanceClass(t: RsType): string;
+    envFor(names: Array<string>, args: Array<RsType>): {
+        [key: string]: RsType;
+    };
+    subst(t: RsType, env: {
+        [key: string]: RsType;
+    }): RsType;
+    unify(pt: RsType, at: RsType, env: {
+        [key: string]: RsType;
+    }): void;
+    fieldTypeOf(s: RsStruct, f: RsField, owner: RsType): RsType;
+    methodEnv(owner: RsType): {
+        [key: string]: RsType;
+    };
+    lowerGenericCall(f: RsFn, args: Array<RustNode>, targs: RustNode, expect: RsType, at: RustNode): RsExpr;
+    genericAssocCall(s: RsStruct, m: RsFn, args: Array<RustNode>, expect: RsType, at: RustNode): RsExpr;
+    hasParam(t: RsType): boolean;
+    dynUnion(traitName: string): string;
+    emitDyn(traitName: string): string;
+    tempDecl2(t: RsType): string;
+    resultClass(t: RsType): string;
+    makeResultValue(isOk: boolean, arg: RustNode, rt: RsType, at: RustNode): RsExpr;
+    emitAll(): string;
+    implClass(en: string): string;
+    isDataEnum(t: RsType): boolean;
+    isEnumType(t: RsType): boolean;
+    emitEnum(e: RsEnum): string;
+    caseType(en: string, v: string): string;
+    emitEnumDebug(e: RsEnum, cname: string): string;
+    emitEnumZero(e: RsEnum, cname: string): string;
+    emitEnumClone(e: RsEnum, cname: string): string;
+    emitEnumEq(e: RsEnum, cname: string): string;
+    emitStruct(s: RsStruct): string;
+    emitStructAs(s: RsStruct, cname: string): string;
+    structCmp(a: string, b: string, t: RsType): string;
+    emitStructZero(s: RsStruct, cname: string): string;
+    emptyValueCode(t: RsType): string;
+    emitStructInstance(inst: RsInst): string;
+    andAll(conds: Array<string>): string;
+    eqCode(a: string, b: string, t: RsType): string;
+    emitDebugStruct(s: RsStruct, cname: string): string;
+    concat(head: string, parts: Array<string>, sep: string, tail: string): string;
+    dbgCode(code: string, t: RsType): string;
+    vecDebugger(t: RsType): string;
+    enumName(code: string, en: string): string;
+    emitModules(): string;
+    emitModuleItems(mk: string, lines: Array<string>): void;
+    emitModule(): string;
+    docKey(n: RustNode): string;
+    helperDoc(text: string): string;
+    docTail(n: RustNode, ind: string): string;
+    addDocExamples(root: RustNode): void;
+    docExampleStem(n: string): string;
+    emitConst(c: RsConst): string;
+    prependFlags(): void;
+    beginFn(): void;
+    emitFn(f: RsFn, owner: string): string;
+    emitFnIn(f: RsFn, owner: string): string;
+    lowerBody(body: RustNode, ret: RsType): void;
+    isTail(st: RustNode): boolean;
+    emitReturn(e: RustNode): void;
+    lowerStmt(st: RustNode): void;
+    hoistFn(st: RustNode): void;
+    lowerLet(st: RustNode): void;
+    lowerLetElse(pat: RustNode, init: RustNode, elseB: RustNode, declared: RsType): void;
+    lowerStmtExpr(e: RustNode): void;
+    discard(v: RsExpr): void;
+    unparen(c: string): string;
+    isCallCode(c: string): boolean;
+    lowerBlockStmts(b: RustNode): void;
+    lowerBlockValue(b: RustNode, mode: string, _var: string): void;
+    lowerValueTo(e: RustNode, mode: string, _var: string): void;
+    varType(_var: string): RsType;
+    divergesAll(e: RustNode): boolean;
+    isBranchy(e: RustNode): boolean;
+    lowerBranchy(e: RustNode, mode: string, _var: string): void;
+    lowerIf(e: RustNode, mode: string, _var: string): void;
+    condText(c: string): string;
+    hasLet(c: RustNode): boolean;
+    lowerIfLet(e: RustNode, mode: string, _var: string): void;
+    flattenAnd(c: RustNode, parts: Array<RustNode>): void;
+    lowerCond(c: RustNode): RsExpr;
+    pushLoop(label: string, valVar: string): void;
+    popLoop(): void;
+    lowerWhile(e: RustNode): void;
+    whileLetNarrows(cond: RustNode): boolean;
+    whileLetOpen(cond: RustNode, body: RustNode): void;
+    whileLetHead(cond: RustNode): void;
+    lowerLoopBody(body: RustNode): void;
+    lowerLoop(e: RustNode, _var: string): void;
+    afterLoop(): void;
+    flagTarget(flag: string): string;
+    loopIndexOf(label: string): number;
+    lowerBreak(e: RustNode): void;
+    lowerContinue(e: RustNode): void;
+    labelledExit(target: number, kind: string): void;
+    forNeedsChain(iter: RustNode): boolean;
+    lowerFor(e: RustNode): void;
+    lowerForRange(pat: RustNode, r: RustNode, rev: boolean, step: string, body: RustNode, label: string): void;
+    bindForPattern(pat: RustNode, code: string, t: RsType): void;
+    lowerForSeq(pat: RustNode, iter0: RustNode, rev: boolean, body: RustNode, label: string): void;
+    replaceIdx(code: string, from: string, to: string): string;
+    bindElem(pat: RustNode, code: string, t: RsType, mutElems: boolean, seq: string, cur: string): void;
+    bindPairPattern(pat: RustNode, kc: string, kt: RsType, vc: string, vt: RsType, enumerate: boolean, cur: string): void;
+    stripRefPat(p: RustNode): RustNode;
+    sortStrings(seq: string, kt: RsType): void;
+    lowerMatch(e: RustNode, mode: string, _var: string): void;
+    armStart(): Array<RsLocal>;
+    armEnd(body: RustNode): void;
+    lowerArmsOpen(arms: Array<RustNode>, subj: string, t: RsType, mode: string, _var: string): void;
+    patOpenOr(pat: RustNode, subj: string, t: RsType): number;
+    lowerArms(arms: Array<RustNode>, i: number, subj: string, t: RsType, mode: string, _var: string, at: RustNode): void;
+    patCond(pat: RustNode, subj: string, t: RsType): string;
+    patValue(n: RustNode, t: RsType): RsExpr;
+    lastSeg(p: RustNode): string;
+    isUnitVariantName(n: string, t: RsType): boolean;
+    variantTest(name: string, subj: string, t: RsType, at: RustNode): string;
+    structPatCond(pat: RustNode, subj: string, t: RsType, name: string, tupleStyle: boolean): string;
+    patBinds(pat: RustNode): boolean;
+    bindPattern(pat: RustNode, subj: string, t: RsType): void;
+    aliasPattern(pat: RustNode, subj: string, t: RsType): void;
+    walkBindings(pat: RustNode, subj: string, t: RsType, aliasOnly: boolean): void;
+    bindTemp(v: RsExpr, t: RsType, base: string): string;
+    valueTemp(t: RsType): string;
+    unionSafe(code: string, t: RsType): string;
+    coerce(v: RsExpr, t: RsType, at: RustNode): RsExpr;
+    lowerExprCopy(n: RustNode, expect: RsType): RsExpr;
+    isPlace(n: RustNode): boolean;
+    unit(): RsExpr;
+    lowerExpr(n: RustNode, expect: RsType): RsExpr;
+    lowerValueExpr(n: RustNode, expect: RsType): RsExpr;
+    strLit(s: string): string;
+    intValue(n: RustNode): number;
+    floatText(v: string): string;
+    lowerLit(n: RustNode, expect: RsType): RsExpr;
+    pathSegs(p: RustNode): Array<string>;
+    useEnum(path: string): string;
+    collectUse(u: RustNode): void;
+    useItems(prefix: string, u: RustNode): void;
+    lowerPathExpr(n: RustNode, expect: RsType): RsExpr;
+    stdConst(full: string): string;
+    constValue(key: string): RsExpr;
+    fnValue(name: string, at: RustNode): RsExpr;
+    lowerBin(n: RustNode, expect: RsType): RsExpr;
+    operatorMethod(op: string, l: RsExpr, r: RsExpr, t: RsType, at: RustNode): RsExpr;
+    compare(op: string, l: RsExpr, r: RsExpr, t: RsType, at: RustNode): string;
+    lowerLogic(n: RustNode): RsExpr;
+    lowerUnary(n: RustNode, expect: RsType): RsExpr;
+    lowerCast(n: RustNode): RsExpr;
+    enumDisc(code: string, en: string): string;
+    lowerArgs(args: Array<RustNode>, types: Array<RsType>): Array<string>;
+    paramTypes(f: RsFn): Array<RsType>;
+    callArgs(n: RustNode, from: number): Array<RustNode>;
+    lowerCall(n: RustNode, expect: RsType): RsExpr;
+    callModuleFn(fk: string, callee: RustNode, args: Array<RustNode>, expect: RsType, n: RustNode): RsExpr;
+    callValue(fname: string, ft: RsType, args: Array<RustNode>, at: RustNode): RsExpr;
+    makeSome(args: Array<RustNode>, expect: RsType, at: RustNode): RsExpr;
+    makeResult(name: string, args: Array<RustNode>, expect: RsType, at: RustNode): RsExpr;
+    lowerPathCall(segs: Array<string>, args: Array<RustNode>, expect: RsType, at: RustNode): RsExpr;
+    emptyCollection(expect: RsType, at: RustNode): RsExpr;
+    lowerSwap(a: RustNode, b: RustNode): void;
+    lowerTake(full: string, args: Array<RustNode>, at: RustNode): RsExpr;
+    lowerMethod(n: RustNode, expect: RsType): RsExpr;
+    userMethodCall(rv: RsExpr, m: RsFn, args: Array<RustNode>, at: RustNode): RsExpr;
+    displayCall(rv: RsExpr, t: RsType): RsExpr;
+    lowerParse(parseCall: RustNode, expect: RsType): RsExpr;
+    arg0(args: Array<RustNode>, t: RsType): RsExpr;
+    stdMethod(rv: RsExpr, name: string, args: Array<RustNode>, at: RustNode, expect: RsType): RsExpr;
+    vecMethod(rv: RsExpr, name: string, args: Array<RustNode>, at: RustNode, expect: RsType): RsExpr;
+    writeBackElement(call: RustNode, rv: RsExpr): void;
+    vecMethodInner(rv: RsExpr, name: string, args: Array<RustNode>, at: RustNode, expect: RsType): RsExpr;
+    vecInserter(t: RsType): string;
+    strMethod(rv: RsExpr, name: string, args: Array<RustNode>, at: RustNode, expect: RsType): RsExpr;
+    charMethod(rv: RsExpr, name: string, args: Array<RustNode>, at: RustNode): RsExpr;
+    numMethod(rv: RsExpr, name: string, args: Array<RustNode>, at: RustNode): RsExpr;
+    optMethod(rv: RsExpr, name: string, args: Array<RustNode>, at: RustNode, expect: RsType): RsExpr;
+    resultMethod(rv: RsExpr, name: string, args: Array<RustNode>, at: RustNode, expect: RsType): RsExpr;
+    entryMethod(rv: RsExpr, name: string, args: Array<RustNode>, at: RustNode): RsExpr;
+    newValueCode(t: RsType, at: RustNode): string;
+    mapMethod(rv: RsExpr, name: string, args: Array<RustNode>, at: RustNode, expect: RsType): RsExpr;
+    lowerField(n: RustNode): RsExpr;
+    lowerIndex(n: RustNode): RsExpr;
+    lowerAssign(n: RustNode): void;
+    placeType(lhs: RustNode): RsExpr;
+    assignTo(lhs: RustNode, v: RsExpr): void;
+    lowerTuple(n: RustNode, expect: RsType): RsExpr;
+    lowerArray(n: RustNode, expect: RsType): RsExpr;
+    lowerStructLit(n: RustNode): RsExpr;
+    lowerClosure(n: RustNode, expect: RsType): RsExpr;
+    hasFmt(t: RsType, traitName: string): boolean;
+    arith(op: string, a: RsExpr, b: RsExpr, t: RsType): string;
+    applyClosure(f: RustNode, args: Array<RsExpr>, expect: RsType): RsExpr;
+    captureClosure(f: RustNode, args: Array<RsExpr>, expect: RsType): RsExpr;
+    captureExpr(e: RustNode, expect: RsType): RsExpr;
+    resultErrOf(expect: RsType): RsType;
+    isIterConsumer(n: string): boolean;
+    isIterAdapter(n: string): boolean;
+    isIterSource(n: string): boolean;
+    isIterChain(n: RustNode): boolean;
+    lowerIterChain(consumer: RustNode, expect: RsType): RsExpr;
+    insertBeforeLoop(decls: Array<string>): void;
+    iterOpen(src0: RustNode, rev: boolean, step: string): RsExpr;
+    iterClose(): void;
+    iterConsume(name: string, args: Array<RustNode>, e: RsExpr, res: string, pos: string, expect: RsType, at: RustNode, decls: Array<string>): RsExpr;
+    simpleExpr(code: string, t: RsType): RsExpr;
+    comparatorLambda(f: RustNode, et: RsType, keyed: boolean): string;
+    comparatorFromMethod(et: RsType): string;
+    cmpCode(a: string, b: string, t: RsType): string;
+    writeBack(call: RustNode, v: string, t: RsType): void;
+    lowerTry(n: RustNode, expect: RsType): RsExpr;
+    lowerNative(m: RustNode, expect: RsType): RsExpr;
+    addSerializeMethods(s: RsStruct): void;
+    jsonTmp(base: string): string;
+    emitJson(s: RsStruct, cname: string): string;
+    jsonWrite(e: string, t: RsType, lines: Array<string>, ind: string): void;
+    jsonRead(j: string, t: RsType, target: string, prefix: string, lines: Array<string>, ind: string): void;
+    lowerTree(m: RustNode, expect: RsType): RsExpr;
+    rangerString(s: string): string;
+    lowerMacroStmt(m: RustNode): boolean;
+    lowerMacroExpr(m: RustNode, expect: RsType): RsExpr;
+    formatArgs(kids: Array<RustNode>, at: RustNode): string;
+    formatString(fmt: string, args: Array<RsExpr>, at: RustNode): string;
+    formatValue(v: RsExpr, spec: string, at: RustNode): string;
+    fmtDisplay(v: RsExpr, prec: string): string;
+    lowerVariantLit(n: RustNode, en: string, vn: string): RsExpr;
+    variantCtorValue(e: RsEnum, v: RsVariant, at: RustNode): RsExpr;
+    needsOpen(pat: RustNode, t: RsType): boolean;
+    patOpen(pat: RustNode, subj0: string, t: RsType): number;
+    closeBlocks(n: number): void;
+    ownedString(): RsType;
+    isCopy(t: RsType): boolean;
+    noteMove(n0: RustNode, t: RsType): void;
+    movedSnapshot(): Array<RsLocal>;
+    movedRestore(list: Array<RsLocal>): void;
+    movedUnion(a: Array<RsLocal>, b: Array<RsLocal>): Array<RsLocal>;
+    blockDiverges(b: RustNode): boolean;
+    checkLoopMoves(before: Array<RsLocal>, firstInside: number, body: RustNode): void;
+    omapClass(t: RsType): string;
+    isOrderedMap(t: RsType): boolean;
+    mapR(m: string, t: RsType): string;
+    mapSetLine(m: string, t: RsType, k: string, v: string): string;
+    mapKeysCode(m: string, t: RsType): string;
+    initSuffix(t: RsType): string;
+    isPreludeOp(name: string, argc: number): boolean;
+    preludeOpCall(name: string, args: Array<RustNode>, n: RustNode): RsExpr;
+    placePath(n0: RustNode): string;
+    pathsOverlap(a: string, b: string): boolean;
+    checkCallBorrows(recv: RustNode, recvMut: boolean, recvBorrows: boolean, args: Array<RustNode>, at: RustNode): void;
+    checkIterMutation(recvN: RustNode, at: RustNode): void;
+    needsBox(t: RsType): boolean;
+    hasBoxed(f: RsFn): boolean;
+    boxClass(t: RsType): string;
+    boxedCall(head: string, f: RsFn, args: Array<RustNode>, owner: RsType, extra: string, at: RustNode): RsExpr;
+    static isRustFile(name: string): boolean;
+    static moduleCamelFor(name: string): string;
+    static moduleClassFor(name: string): string;
+    static moduleFileName(path: string): string;
+    static dirOf(path: string): string;
+    static baseName(path: string): string;
+    static joinPath(dir: string, name: string): string;
+    static targetAlias(t: string): string;
 }
 export declare class CompilerResults {
     ctx?: RangerAppWriterContext;
@@ -4255,14 +5721,12 @@ export declare class VirtualCompiler {
     fillStr(cnt: number): string;
     detectLanguageFromExtension(filename: string): string;
     isTypeScriptExtension(filename: string): boolean;
-    runInstall(env: InputEnv, params: CmdParams, cli: CLIProgress): Promise<boolean>;
-    run(env: InputEnv): Promise<CompilerResults>;
+    runInstall(env: InputEnv, params: CmdParams, cli: CLIConsole): boolean;
+    run(env: InputEnv): CompilerResults;
     static create_env(): Promise<void>;
-    static displayCompilerErrorsWithCLI(appCtx: RangerAppWriterContext, cli: CLIProgress): void;
-    static displayCompilerErrors(appCtx: RangerAppWriterContext): void;
+    static displayCompilerErrorsWithCLI(appCtx: RangerAppWriterContext, cli: CLIConsole): void;
     static displayParserErrors(appCtx: RangerAppWriterContext): void;
 }
 export declare class CompilerInterface {
-    constructor();
     static create_env(): InputEnv;
 }