Denseness, maximality, and decidability of grammatical families