Function build_vec_env 

pub fn build_vec_env(
    env: &mut Environment,
    ind_env: &mut InductiveEnv,
) -> Result<(), String>

Build Vec type in the environment.

Vec : (α : Type) → Nat → Type