updating to reflect changes to ErrorList
added record patterns and list patterns in cases, and tests