define-derived-mode and property lists