Theory notes for backward file

Note that the file exists for compatibility and canonicalization
Explicitly note IDs in that file are deprecated
Explicitly note that data set should make sense without backward