Not sure what pump, standard maybe, as the whole car was (looked) standard when i got it.
I lost brakes halfway through decel for turn one and when i felt brake pedal go to the floor, i just grabbed the closest gear which was 2nd and unfortunatly buzzed the motor, then coming out of turn one i noticed a rattle and the oil pressure light on.
It turns out I have managed to pop a caliper seal during braking down into turn one, which set off this chain of events.