refine the doc (move details of classes into Appendix, etc.)