それ以外にもexitlのオープン構文、Generalized existential、anyの必須化、などもかかれてる