Moving toWF stuff around.
Making SEexp not extend WireFormat
Getting rid of unused SExpable trait.
Cleaning, cleaning, cleaning.
Cleaning up sexp generation.