id	summary	status	owner	type	priority	milestone
2	Core formalization	assigned	iago	task	normal	0.1
1	First & general high-level design	assigned	iago	task	high	0.1
3	Code up Core syntax-related stuff	assigned	iago	task	high	0.1