Nondeterministic Extensions of the Strong Exponential Time Hypothesis and Consequences for Non-reducibility (Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science)