Fix bug in aeq' for AnyName
Fix bug in 'swaps' on Embed patterns.