Verifier: Explicitly verify type references