Text this: Local Redundancy in SAT: Generalizations of Blocked Clauses