Type mutually recursive functions and support these in the frontend.