id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1	Lifting doesn't introduce capabilities.	benl	benl	"In !WeakKiEnv / Case !XUse

{{{
     ~ mentionsCapT (TyCapRegion n) t1
------------------------------------------
 ~ mentionsCapT (TyCapRegion n) (liftTT 1 ix t1)  
}}}"	lemma	new	normal		SystemF2Effect