feat(core): support physical properties in heuristics

[skyzh]

• add physical property builder
• support building and passing through physical properties in heuristics (we can change the behavior later, i.e., choose to not passthrough but simply add new nodes to satisfy)
• add test cases for heuristics + physical properties

[skyzh]

Yes -- see the TODO, it is possible that enforcing one property would invalidate the other one. Either we need to do checks, or we should find a better way of integrating this.

[skyzh]

and their intended usage as well

I don't know how they will / they can be used in cascades either, currently I just put them in heuristics.

I am a bit concerned that the design seems non-standard in that it does not support enforcer rules

I think it's fine to keep the design for now -- we can add enforcer rules in the future (and remove the enforce function), but the derive + passthrough functions are definitely required.

two property builder traits

basically it's erasing the generics and I can add more docs in the next patch... or we can sit down and talk about what's confusing.