Use simpler realizer in initial InitialRawCat
Use simpler realizer in initial InitialRawCat

The beauty of realizability is, once you have hypothesized falsehood,
you can do whatever you want.

@freebroccolo

david-christiansen/JonPRL,jozefg/JonPRL,wilcoxjay/JonPRL,freebroccolo/JonPRL,jonsterling/JonPRL