Add `is-set-is-prop'.
The definition of `code' for van Kampen.