Lazyinst

random edits for debugging https://github.com/ucsd-progsys/liquid-fixpoint/pull/26