id	summary	reporter	owner	description	type	status	priority	milestone	component	severity	resolution	keywords	cc
2	Core formalization	iago	iago	Formalization of the Core type system.	task	assigned	normal	0.1	Core	normal