Test: inferredVal -> asHole. whereItem
Test: monomorphRedex to new style
Test: Add recurse. fOfXIsFOf5 to new style
Test: argTypeGoesToPi to new style
Test: Allow failure of some tests of unimplemented functionality (with warning outputs)