(procedure ,procedure? "The function to run with @code{\\applycontext}.
It must take a single argument, being the context.")
(property-operations ,list? "Do these operations for instantiating
(procedure ,procedure? "The function to run with @code{\\applycontext}.
It must take a single argument, being the context.")
(property-operations ,list? "Do these operations for instantiating