Text this: Institution-independent Model Theory