Revert "Add "Drat""

This reverts commit a4ae6526153be8119d2d40af0121dc43c63fa227.
Revert "Revert "Add "Drat"""

This reverts commit f0ca74f18341402fda686d1da7da1f49ab723c97.
Revert "Revert "Revert "Add "Drat""""

This reverts commit 6a5360e712c755630d37f3468a0a9cf4ce43d47d.