I am marking this is as the first draft of the freedom of speech syntax
and reduction.  Moving on to the type system now.  #1