pub type VarEnvironment<VC> = RawEnvironment<OnlyVars, (), (), VC>;
pub struct VarEnvironment<VC> { /* private fields */ }