The Equational Theory of Fixed Points with Applications to Generalized Language Theory