Define "undefined" and "implementation-defined" (3.1.1)

Undefined means "don't use this even if it seems to work, as there
are cases where it won't."  Implementation-defined means "this isn't
portable or interoperable, but it is still correct."