Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax