Remove useless option from muse.

    Now, merging is the only thing muse does.
Fix type equality/hashing for unresolved types.