id	summary	owner	type	priority	component	version
26	Improve runtime of Core.Reconstruct.		enhancement	normal	Core Type Checker	
33	Check for conflicting projection functions.	erikd	defect	normal	Build System	0.1.2
39	Emit an error if modules are recursive.	erikd	defect	normal	Compilation Driver	
53	Check for name shadowing in forall quantifiers.	erikd	defect	blocker	Source Parser	0.1.2
71	Better error message for unimplemented class functions	erikd	defect	blocker	Source Parser	0.1.2