Λογική - μεταφραστές, μετατοπιστές επιπέδου