Function create_envs

pub fn create_envs(
    inputs: Vec<PathBuf>,
) -> Result<(TypeEnv, TermEnv, Vec<Def>), Errors>

Construct the ISLE type and term environments for further analysis (i.e., verification), without going all the way through codegen.