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

overwrite imported type sigs using assume
Qualif
split TyApp co and contra variant
minor
adding an interesting totality example