Fixed definition of Suspension as per #122.
Added [Misc.v] for miscellaneous lemmas.
Minor comment additions.