Matching typed and untyped realizability