finishing up Lambda2/ExprDIeq

- need to get stuff into shape but this is the main bit.