More work on mutually recursive values, still not working.