Changes

• Split overload_types from "Dispatch" and added new named requirements of "Convention". The tables below summarizes each dimension of "Facade":

• Added support for multiple reflection types.
• Renamed PRO_DEF_MEMBER_DISPATCH into PRO_DEF_MEM_DISPATCH (and the _WITH_DEFAULT version) and removed overload types from the macro.
• Removed overload types from macros PRO_DEF_FREE_DISPATCH (and the _WITH_DEFAULT version).
• Replaced macros PRO_MAKE_DISPATCH_PACK(), PRO_DEF_FACADE and the 3 instantiations of pro::proxiable_ptr_constraints with a builder type pro::facade_builder implemented with pure template metaprogramming. The new syntax to define a facade is as follows:

PRO_DEF_MEM_DISPATCH(MemDraw, Draw);
PRO_DEF_MEM_DISPATCH(MemArea, Area);

struct Copyable : pro::facade_builder
    ::support_copy<pro::constraint_level::nontrivial>
    ::build {};

struct Drawable : pro::facade_builder
    ::add_convention<MemDraw, void(std::ostream&)>
    ::add_convention<MemArea, double() noexcept>
    ::add_facade<Copyable>
    ::build {};

• Revised implementation of pro::details::dependent_t and exposed as pro::lazy_eval_t and pro::lazy_eval() to facilitate definition of a custom dispatch.
• For dispatch built from free functions, APIs are exposed as friend functions rather than member functions.
• Revised implementation of unit tests.