id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
51	Refactor representation of Effects and Closures to use Sets	benl		Using lists is a pain because we have to worry about duplicates, and flattening nesting after substitution.	refactor	closed	normal		Source Type Inferencer		fixed