Wrote recursor for qsAcc. Cleaned Log.agda up a bit.
Fooling around with irrelevance.