Qualshrink

This is a co-request of: ucsd-progsys/liquid-fixpoint#95