Added some clarification

Added some clarification to the OCaml bit and made it somewhat more accessible to people who aren't as experienced with functional programming languages.