Add ??? as function-scope holes, convert them to oracles
Fix IfSplit
Add back a few tests about Holes
Add isSorted/sorted to ListOps for Lists of ints
Add List.init
Organize testcases