[dfmc-modeling] Tighten types on environment generic & methods.