Update Option.v's Parameters to Definition
requested to merge shubham-kumar/coq-tezos-of-ocaml:convert-option-parameters-to-definition into master
This MR ports most of the Parameters defined in Option.v to `Definitions.
There are some Parameters which aren't updated these include functions which require a Result.error function I wasn't sure if I should add those functions or not in Result.v.
Please let me know if this makes sense and if adding that Definition would make sense