Fixed trace example (thanks stchang), trimmed down DFM semantics section.
Regular expression derivatives cite.