Remove #%expression in plambda.
Remove extraneous old feature of do-inst.
Make inst not do crazy splitting.