Mods to improve typing of list and set patterns, resolves #471