Towards updated rec operator supporting mutual recursion.