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