isSubList -> isPrefix
changeDomain/changeCodomain: fix breaking references
changeDomain/changeCodomain: fix references not being updated to maintain a valid code