controls witches, inner-loop witches, casting phase jinxes { after @Josephine }

@oneiro @Josephine anonymous inner witches?

@saper @Josephine oh, no, those are the lambda witches, softwitches, casting -O3 jinxes

@oneiro @Josephine I was hoping for some real higher order witch

@saper @Josephine :imp: with what kind of jinxes?

@oneiro @Josephine Must be some @StefanBanach algebra