added defpropn macro
halfway through revising crime3propns to use defpropn