Added List example and fixed caseBranch production.