Text this: Typed realizability for first-order classical analysis