Recent Synthetic Differential Geometry