Syntactic Characterizations of Various Classes of Locally Presentable Categories