Add synthesis docs