12. Ocaml typing => magic + cast.

 13. Managing huge extraction (constructive FTA).

 14. Extract Constant do not work under a section.