Make param types available in checker env