SMS dit: Institution-independent model theory