add type checking to verifier phase #4

Closed ejrgilbert closed 1 week ago