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