Towards a native toplevel for the OCaml language - Marcell Fischbach; Benedikt Meurer (CoRR, 2011)