partial evaluation of liftable terms of static integer type