[jhc] darcs patch: added user defined kind extension (and 1 more)

Fri Feb 10 20:22:48 PST 2012 John Meacham * added user defined kind extension Fri Feb 10 18:49:09 PST 2012 John Meacham * fix Options.hs makefile dependency