gexp: Add 'lower-gexp' and express 'gexp->derivation' in terms of it.