@settitle Used properties - proposals

Used properties (current behaviour):
@itemize
@item @code{number} (3)
@item @code{pair} ((0 . 0))
@item @code{empty-list} ('())
@end itemize

Used properties (after MR 588):
@itemize
@item @code{number} (3)
@item @code{pair} ((0 . 0))
@item @code{empty-list} (())
@end itemize

Used properties (Werner's proposal):
@itemize
@item @code{number} [default: 3]
@item @code{pair} [default: (0 . 0)]
@item @code{empty-list} [default: ()]
@end itemize

Used properties (Michael's proposal):
@itemize
@item @code{number}, default: 3
@item @code{pair}, default: (0 . 0)
@item @code{empty-list}, default: ()
@end itemize

@bye