Make data structures immutable
Provide an immutable List value type
Provide an immutable Pair value type