insDef should populate moduleRDecls
insDef should populate moduleRDecls

As of ced8799d7d0bd7458f60cecbea6094b2f0ebcd70, `insDef` uses
`insResolvedName` to insert a definition into a module.  However, said
change made it so that `insDef` no longer inserts the proper `DefDecl`
into the module's declaration list, `moduleRDecls`.  I believe this
might have been a mistake.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script