Filled in mutually recursive parser types