Architecture of Advanced Numerical Analysis Systems: Designing a Scientific Computing System using OCaml