Proto-Quipper with Dynamic Lifting