To allow debugging and unit testing. This is a bit more complicated that it might seem due to code like this:

let x: Foo::[5u32]? = None;
let y = hash(x);

Here, x needs to have the same data layout it has in the compiled Aleo program which means we need more type information to be propagated in the interpreter, especially for const generic types.