Proposal to Add Equivalence Compiler to Core Lib - Effect Community