Lyman-α constraints on freeze-in and superWIMPs | Synapse