experimenting with fuels
new, better encoding of recursive functions using fuel guards to control unrolling; leads to more reliable extraction of error messages and user-controllable performance of matching loops