add test for the explicit result type requirement on self-recursive functions (fails because return type is currently always uint64)
explicit return type works