Allow uses of interface types to verify.