Use tail-recursive equivalents so that we do not get stack-overflows.
Use tail-recursive equivalents so that we do not get stack-overflows.

cogumbreiro/habanero-coq,cogumbreiro/hj-coq,cogumbreiro/habanero-coq,cogumbreiro/habanero-coq