Add seen set to infer.hs just like in de00c379d780261
Fix to prev.  Infer.hs passes tests with layeredsatmap AND satmap.
Merge branch 'newinfer'