This musing contains content which may be extremely basic universal algebra knowledge, immediately to be cleared up once I learn more UA.
Consider the lattice of subvarieties of some variety of algebra. Do those subvarieties whose free models are finite - I believe these are locally finite varieties - occupy some privileged position in the lattice? In particular, must a subvariety of a locally finite variety be finite?