Re: [stack] disallowing recursive definitions

>  Sure, but then you can only compute primitive-recursive functions
>  (roughly speaking, ones in which all loops are bounded at compile time).

With linrec and cons, I think you could build yourself an ad-hoc
variable-depth stack anyway, where loops aren't necessarily bounded.
It'd just be awkward and not any more efficient.