Generate stubs for global functions
createVerifierPass is defined in a special header
Add Eq and Ord instances for BinOpType