[Feature] Parameterized array using const generics

[mohammadfawaz]

🚀 Feature

We need to be able to write code like this:

program const_generics.aleo {
    transition main() -> u32 {
        return foo::[5]();
    }

    inline foo[N: u32](arr: [u32; N]) -> u32 {
        return N;
    }
}

Currently, we only allow literals as array sizes. We need to change that and then later const evaluate the sizes.