What's the status of Ocaml? I noticed parts of it were under GPL and other parts not. Can I write software in Ocaml without requiring users get non-free software to compile it? Lynn