id	Summary	Status	Type	Priority	Milestone	Component
1	Lifting doesn't introduce capabilities.	new	lemma	normal		SystemF2Effect