id	summary	owner	type	priority	version	reporter
34	Check inferred type against signatures.		enhancement	blocker		benl
68	Do kind checking during constraint generation.		defect	blocker	0.1.2	benl
79	Kind inference checking problem for mutable tuples	--	defect	blocker	0.1.2	benl
41	Refactor occurance checker to improve speed.		refactor	normal		benl