16. Haskell : 
     - equivalent of Obj.magic (unsafeCoerce ?) 
     - look again at the syntax (make it independant of layout ...)  
     - producing .hi files
     - modules/modules types/functors in Haskell ?

 17. Scheme : 
     - modular Scheme ? 

 18. Improve speed (profiling)

 19. Look again at those hugly renamings functions. 
     Especially get rid of ML clashes like 
   
    let t = 0
    module M = struct 
       let t = 1 
       let u = The.External.t (* ?? *)
    end

 20. Support the .v-as-internal-module, like in 
    
    <file A.v>
    Definition foo :=O.
    <End file A.v>

    <at toplevel>
    Require A.
    Module M:=A
    Extraction M.