murder-1.0: MUtually Recursive Definitions Explicitly Represented