on linear vs unlimited lists
more refactoring and presence subkinding