Spectroscopy of z ∼ 7 candidate galaxies: using Lyman α to constrain the neutral fraction of hydrogen in the high-redshift universe★ | Synapse