Almost done with naive impl
Sanity check

almost there, need to add an epsilon for consistency check
Update projects to the new MatchingParams ctor