Unneeded mutual recursion

[Kakadu]

• [ ] for types
• [ ] .. functions
• [ ] even for

  type value
  and r_ok
  and r_err