Due to the way the compiler is currently implemented, processing of types is very dependent on the order the types occur, most obvious with parametric types. This can be resolved in the same file by reordering definitions, but ordering between files is not specified. MaxVerse will alleviate this issue via pervasive leniency.