Is there any way you could simply check a players y, and if y<0 teleport to spawn? And if we want to get all complex and whatnot, couldnt you create something possibly using part of the /top feature to check the height of ground level, and if y<ground level then teleport to spawn? With this, make a toggle feature such as /miningtoggle that allows them to dig caves and mine around without teleport