Data Types: List Theory