Whoops, my bad.

This should get you on your way. The only term not on that list is WBTB, which is Wake-Back-To-Bed. That is when you sleep for a few hours, wake up at a set time, and do a Lucid method of your choice.