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