moving AutoSetoidRewrite into MirrorCore.Lambda

- updating demos.