Type Alias ParamsTypeCheckerGenerator 

pub type ParamsTypeCheckerGenerator = fn() -> Box<dyn ParamsTypeChecker>;

A function that, when called, will return an object that can typecheck function parameters.