Text this: Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories