Lensified. Removed the SAT monad. Split Problem into SAT and QSAT.
Problem: Comment typo fix