The greeter can be whatever you want, yes. So you could port the gdm greeter to LightDM, at which point you're no lighter than gdm and you're running a less tested codebase. So what's the benefit? Has gdm shown any sign of instability or poor maintenance? What problem is actually being solved?