Use immutable collections for user options