Poole, E. Constraining (shifting) Types at the Interface. SuB 2019, 22, 217-234.