Define.D
type left;
type right;
type diff;
Detailed difference trace
type state;
environment of a partial patch