overwrite imported type sigs using assume
add Warging
minor
Merge pull request #199 from ucsd-progsys/overwrite

overwrite imported type sigs using assume