Iterators in Lib
Adding general options to ocaml compilers
Cocoa main loop
Require explicit overriding