Compile closures
Apply user-land closures, simplify OpCode type