diff --git a/src/type/builder/index.ts b/src/type/builder/index.ts
index bc2874399..60f49c2ab 100644
--- a/src/type/builder/index.ts
+++ b/src/type/builder/index.ts
@@ -38,6 +38,6 @@ import * as TypeBuilder from './type'
 import { JavaScriptTypeBuilder } from './javascript'
 
 /** JavaScript Type Builder with Static Resolution for TypeScript */
-const Type: InstanceType<typeof JavaScriptTypeBuilder> = TypeBuilder
+const Type = TypeBuilder as InstanceType<typeof JavaScriptTypeBuilder>
 export { JavaScriptTypeBuilder }
 export { Type }
diff --git a/src/type/builder/json.ts b/src/type/builder/json.ts
index a277648bd..db7c31298 100644
--- a/src/type/builder/json.ts
+++ b/src/type/builder/json.ts
@@ -112,7 +112,7 @@ export class JsonTypeBuilder {
   }
   /** `[Json]` Creates a Composite object type */
   public Composite<T extends TObject[]>(objects: [...T], options?: ObjectOptions): TComposite<T> {
-    return Composite(objects, options)
+    return Composite(objects, options) as any // (error) TS 5.4.0-dev - review TComposite implementation
   }
   /** `[Json]` Creates a dereferenced type */
   public Deref<T extends TSchema>(schema: T, references: TSchema[]): TDeref<T> {
diff --git a/src/type/composite/composite.ts b/src/type/composite/composite.ts
index 0c6abe8a0..dfc9f6e8d 100644
--- a/src/type/composite/composite.ts
+++ b/src/type/composite/composite.ts
@@ -40,13 +40,13 @@ import { CloneType } from '../clone/type'
 // prettier-ignore
 type CompositeKeys<T extends TObject[]> =
   T extends [infer L extends TObject, ...infer R extends TObject[]]
-  ? keyof L['properties'] | CompositeKeys<R>
-  : never
+    ? keyof L['properties'] | CompositeKeys<R>
+    : never
 // prettier-ignore
 type CompositeIndex<T extends TIntersect<TObject[]>, K extends string[]> =
   K extends [infer L extends string, ...infer R extends string[]]
-  ? { [_ in L]: IndexedTypeResolve<T, [L]> } & CompositeIndex<T, R>
-  : {}
+    ? { [_ in L]: IndexedTypeResolve<T, [L]> } & CompositeIndex<T, R>
+    : {}
 // prettier-ignore
 type CompositeReduce<T extends TObject[]> = UnionToTuple<CompositeKeys<T>> extends infer K
   ? Evaluate<CompositeIndex<TIntersect<T>, Assert<K, string[]>>>
@@ -67,6 +67,6 @@ export function CompositeResolve<T extends TObject[]>(T: [...T]): CompositeResol
 export type TComposite<T extends TObject[]> = CompositeResolve<T>
 
 /** `[Json]` Creates a Composite object type */
-export function Composite<T extends TObject[]>(T: [...T], options?: ObjectOptions): CompositeResolve<T> {
-  return CloneType(CompositeResolve(T) as TObject, options) as CompositeResolve<T>
+export function Composite<T extends TObject[]>(T: [...T], options?: ObjectOptions): TComposite<T> {
+  return CloneType(CompositeResolve(T) as TObject, options) as TComposite<T>
 }
diff --git a/src/type/const/const.ts b/src/type/const/const.ts
index ccd6bc9b9..515c81c10 100644
--- a/src/type/const/const.ts
+++ b/src/type/const/const.ts
@@ -26,7 +26,7 @@ THE SOFTWARE.
 
 ---------------------------------------------------------------------------*/
 
-import type { AssertProperties, AssertRest, Evaluate } from '../helpers/index'
+import type { AssertProperties, AssertRest, AssertType, Evaluate } from '../helpers/index'
 import type { TSchema, SchemaOptions } from '../schema/index'
 import type { TProperties } from '../object/index'
 import { IsArray, IsNumber, IsBigInt, IsUint8Array, IsDate, IsIterator, IsObject, IsAsyncIterator, IsFunction, IsUndefined, IsNull, IsSymbol, IsBoolean, IsString } from '../guard/value'
@@ -52,7 +52,7 @@ import { TypeClone } from '../clone/index'
 // ------------------------------------------------------------------
 // prettier-ignore
 type FromArray<T extends readonly unknown[]> = 
-  T extends readonly [infer L, ...infer R] 
+  T extends readonly [infer L extends unknown, ...infer R extends unknown[]] 
     ? [FromValue<L>, ...FromArray<R>] 
     : T
 // prettier-ignore
@@ -60,7 +60,7 @@ function FromArray<T extends readonly unknown[]>(T: [...T]): FromArray<T> {
   const [L, ...R] = T
   return (
     T.length > 0
-    ? [FromValue(L), ...FromArray(R)]
+    ? [FromValue(L) as TSchema, ...FromArray(R)]
     : []
   ) as FromArray<T>
 }
@@ -69,7 +69,9 @@ function FromArray<T extends readonly unknown[]>(T: [...T]): FromArray<T> {
 // ------------------------------------------------------------------
 // prettier-ignore
 type FromProperties<T extends Record<PropertyKey, unknown>> = {
-  -readonly [K in keyof T]: TReadonly<FromValue<T[K]>>
+  -readonly [K in keyof T]: FromValue<T[K]> extends infer R extends TSchema 
+    ? TReadonly<R> 
+    : TReadonly<TNever>
 }
 // prettier-ignore
 function FromProperties<T extends Record<PropertyKey, unknown>>(value: T): FromProperties<T> {
@@ -103,7 +105,7 @@ function FromValue<T>(value: T): FromValue<T> {
     IsArray(value) ? Tuple(FromArray(value) as TSchema[]) :
     IsUint8Array(value) ? Uint8Array() :
     IsDate(value) ?  Date() :
-    IsObject(value) ? Object(FromProperties(value) as TProperties) :
+    IsObject(value) ? Object(FromProperties(value as Record<PropertyKey, unknown>) as TProperties) :
     IsAsyncIterator(value) ? AsyncIterator(Unknown()) :
     IsIterator(value) ? Iterator(Unknown()) :
     IsFunction(value) ? Function([], Unknown()) :
@@ -115,7 +117,7 @@ function FromValue<T>(value: T): FromValue<T> {
     IsBoolean(value) ? Literal(value) :
     IsString(value) ? Literal(value) :
     Never()
-  ) as unknown as FromValue<T>
+  ) as FromValue<T>
 }
 // ------------------------------------------------------------------
 // TConst