Dependent types post: some cleanup on writing and typography.
added a BSD license for the code.