id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
3	Check Shape witnesses in core	benl		We don't currently check the validity of shape witnesses. Problems should be caught by the source type inferencer, but we should check them in the core language as well.	enhancement	new	minor		Core Type Checker