Formation of Massive Galaxies at High Redshift: Cold Streams, Clumpy Disks, and Compact Spheroids | Synapse