Still more work on mutually recursive functions, still need to fix examples