extended with terms of liftable types