This module implements the
prefer customization point for properties in
terms of P2220. This differs from P1393 in that it relies fully on
tag_dispatch overloads and fewer base customization points. Actual properties
are defined in modules. All functionality is experimental and can be accessed
See the API reference of this module for more details.