Projective models for Hilbert squares of K3 surfaces | Synapse