A updateTerm<A extends AST>(AST ast, Iterable<AST> args) => currentContext.updateTerm(ast, args.toList()) as A;