Change eq semantics for binders in Lambda#633

joscoh merged 2 commits intomainstrata-org/Strata:mainfrom

josh/eq-semanticsstrata-org/Strata:josh/eq-semanticsCopy head branch name to clipboard