More accurate docs, add complete syntax appendix at the end