Add documentation on defn, add examples of using the 'type' form
Add some files