opRun makes a polymorphic run function
*broken* towards annotation carrying into hole results