The Coalgebraic Dual Of Birkhoff's Variety Theorem