Text this: BordAX: A High-Performance JAX Framework for Programmatic Reinforcement Learning