Working on the checker
Mostly finished the checker
Mostly finished the checker
Make param types available in checker env