Update specs

I have updated specs of `src/leo_ordning_reda_api.erl`.
Please wait for other files.
I will try to refine also comments by tomorrow.