added exporter specs, fixed boogs, changed format to require (option) in property and option headers.
checkpoint charlie