Problem by Extended Types

problem with the idea Append Type is
that the compiler must compile any modules that used
this Type same time compiling my program .

precompiled modules are only in original state .